To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Kleisli category

From Wikipedia, the free encyclopedia

In category theory, a Kleisli category is a category naturally associated to any monad T. It is equivalent to the category of free T-algebras. The Kleisli category is one of two extremal solutions to the question: "Does every monad arise from an adjunction?" The other extremal solution is the Eilenberg–Moore category. Kleisli categories are named for the mathematician Heinrich Kleisli.

YouTube Encyclopedic

  • 1/5
    53 340
    1 760
    1 225
    1 035
  • Category Theory 3.2: Kleisli category
  • Kleisli categories and probability - 02 - The Kleisli category of a monad
  • Kleisli categories and probability - 01 - The Giry monad
  • The Kleisli Category for a Monad
  • Kleisli categories and probability - 03 - Markov kernels


Formal definition

Let ⟨T, η, μ⟩ be a monad over a category C. The Kleisli category of C is the category CT whose objects and morphisms are given by

That is, every morphism f: X → T Y in C (with codomain TY) can also be regarded as a morphism in CT (but with codomain Y). Composition of morphisms in CT is given by

where f: X → T Y and g: Y → T Z. The identity morphism is given by the monad unit η:


An alternative way of writing this, which clarifies the category in which each object lives, is used by Mac Lane.[1] We use very slightly different notation for this presentation. Given the same monad and category as above, we associate with each object in  a new object , and for each morphism in  a morphism . Together, these objects and morphisms form our category , where we define

Then the identity morphism in is

Extension operators and Kleisli triples

Composition of Kleisli arrows can be expressed succinctly by means of the extension operator (–)# : Hom(X, TY) → Hom(TX, TY). Given a monad ⟨T, η, μ⟩ over a category C and a morphism f : XTY let

Composition in the Kleisli category CT can then be written

The extension operator satisfies the identities:

where f : XTY and g : YTZ. It follows trivially from these properties that Kleisli composition is associative and that ηX is the identity.

In fact, to give a monad is to give a Kleisli tripleT, η, (–)#⟩, i.e.

  • A function ;
  • For each object in , a morphism ;
  • For each morphism in , a morphism

such that the above three equations for extension operators are satisfied.

Kleisli adjunction

Kleisli categories were originally defined in order to show that every monad arises from an adjunction. That construction is as follows.

Let ⟨T, η, μ⟩ be a monad over a category C and let CT be the associated Kleisli category. Using Mac Lane's notation mentioned in the “Formal definition” section above, define a functor FC → CT by

and a functor G : CTC by

One can show that F and G are indeed functors and that F is left adjoint to G. The counit of the adjunction is given by

Finally, one can show that T = GF and μ = GεF so that ⟨T, η, μ⟩ is the monad associated to the adjunction ⟨F, G, η, ε⟩.

Showing that GF = T

For any object X in category C:

For any in category C:

Since is true for any object X in C and is true for any morphism f in C, then . Q.E.D.


  1. ^ Mac Lane (1998). Categories for the Working Mathematician. p. 147.

External links

This page was last edited on 15 April 2024, at 12:34
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.