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:

    “The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
    —Edgar Lee Masters (1869–1950)

    “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)