Kleisli Category - Formal Definition

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

\begin{align}\mathrm{Obj}({\mathcal{C}_T}) &= \mathrm{Obj}({\mathcal{C}}), \\ \mathrm{Hom}_{\mathcal{C}_T}(X,Y) &= \mathrm{Hom}_{\mathcal{C}}(X,TY).\end{align}

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. 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

Read more about this topic:  Kleisli Category

Famous quotes containing the words formal and/or definition:

    “On every formal visit a child ought to be of the party, by way of provision for discourse.”
    —Jane Austen (1775–1817)

    “The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
    —Jean Baudrillard (b. 1929)