Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://en.wikipedia.org/wiki/Kleisli_category below:

Kleisli category - Wikipedia

From Wikipedia, the free encyclopedia

Category theory

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.

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

O b j ( C T ) = O b j ( C ) , H o m C T ( X , Y ) = H o m C ( X , T Y ) . {\displaystyle {\begin{aligned}\mathrm {Obj} ({{\mathcal {C}}_{T}})&=\mathrm {Obj} ({\mathcal {C}}),\\\mathrm {Hom} _{{\mathcal {C}}_{T}}(X,Y)&=\mathrm {Hom} _{\mathcal {C}}(X,TY).\end{aligned}}}

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

g ∘ T f = μ Z ∘ T g ∘ f : X → T Y → T 2 Z → T Z {\displaystyle g\circ _{T}f=\mu _{Z}\circ Tg\circ f:X\to TY\to T^{2}Z\to TZ}

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

i d X = η X {\displaystyle \mathrm {id} _{X}=\eta _{X}} .

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 C {\displaystyle C} as above, we associate with each object X {\displaystyle X} in  C {\displaystyle C} a new object X T {\displaystyle X_{T}} , and for each morphism f : X → T Y {\displaystyle f\colon X\to TY} in  C {\displaystyle C} a morphism f ∗ : X T → Y T {\displaystyle f^{*}\colon X_{T}\to Y_{T}} . Together, these objects and morphisms form our category C T {\displaystyle C_{T}} , where we define composition, also called Kleisli composition, by

g ∗ ∘ T f ∗ = ( μ Z ∘ T g ∘ f ) ∗ . {\displaystyle g^{*}\circ _{T}f^{*}=(\mu _{Z}\circ Tg\circ f)^{*}.}

Then the identity morphism in C T {\displaystyle C_{T}} , the Kleisli identity, is

i d X T = ( η X ) ∗ . {\displaystyle \mathrm {id} _{X_{T}}=(\eta _{X})^{*}.}

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 : X → TY let

f ♯ = μ Y ∘ T f . {\displaystyle f^{\sharp }=\mu _{Y}\circ Tf.}

Composition in the Kleisli category C_T can then be written

g ∘ T f = g ♯ ∘ f . {\displaystyle g\circ _{T}f=g^{\sharp }\circ f.}

The extension operator satisfies the identities:

η X ♯ = i d T X f ♯ ∘ η X = f ( g ♯ ∘ f ) ♯ = g ♯ ∘ f ♯ {\displaystyle {\begin{aligned}\eta _{X}^{\sharp }&=\mathrm {id} _{TX}\\f^{\sharp }\circ \eta _{X}&=f\\(g^{\sharp }\circ f)^{\sharp }&=g^{\sharp }\circ f^{\sharp }\end{aligned}}}

where f : X → TY and g : Y → TZ. 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 triple ⟨T, η, (–)^#⟩, i.e.

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

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 C_T be the associated Kleisli category. Using Mac Lane's notation mentioned in the “Formal definition” section above, define a functor F: C → C_T by

F X = X T {\displaystyle FX=X_{T}\;}

F ( f : X → Y ) = ( η Y ∘ f ) ∗ {\displaystyle F(f\colon X\to Y)=(\eta _{Y}\circ f)^{*}}

and a functor G : C_T → C by

G Y T = T Y {\displaystyle GY_{T}=TY\;}

G ( f ∗ : X T → Y T ) = μ Y ∘ T f {\displaystyle G(f^{*}\colon X_{T}\to Y_{T})=\mu _{Y}\circ Tf\;}

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

ε Y T = ( i d T Y ) ∗ : ( T Y ) T → Y T . {\displaystyle \varepsilon _{Y_{T}}=(\mathrm {id} _{TY})^{*}:(TY)_{T}\to Y_{T}.}

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

For any object X in category C:

( G ∘ F ) ( X ) = G ( F ( X ) ) = G ( X T ) = T X . {\displaystyle {\begin{aligned}(G\circ F)(X)&=G(F(X))\\&=G(X_{T})\\&=TX.\end{aligned}}}

For any f : X → Y {\displaystyle f:X\to Y} in category C:

( G ∘ F ) ( f ) = G ( F ( f ) ) = G ( ( η Y ∘ f ) ∗ ) = μ Y ∘ T ( η Y ∘ f ) = μ Y ∘ T η Y ∘ T f = id T Y ∘ T f = T f . {\displaystyle {\begin{aligned}(G\circ F)(f)&=G(F(f))\\&=G((\eta _{Y}\circ f)^{*})\\&=\mu _{Y}\circ T(\eta _{Y}\circ f)\\&=\mu _{Y}\circ T\eta _{Y}\circ Tf\\&={\text{id}}_{TY}\circ Tf\\&=Tf.\end{aligned}}}

Since ( G ∘ F ) ( X ) = T X {\displaystyle (G\circ F)(X)=TX} is true for any object X in C and ( G ∘ F ) ( f ) = T f {\displaystyle (G\circ F)(f)=Tf} is true for any morphism f in C, then G ∘ F = T {\displaystyle G\circ F=T} . Q.E.D.

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

• Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. Vol. 5 (2nd ed.). Springer. ISBN 0-387-98403-8. Zbl 0906.18001.
• Pedicchio, Maria Cristina; Tholen, Walter, eds. (2004). Categorical foundations. Special topics in order, topology, algebra, and sheaf theory. Encyclopedia of Mathematics and Its Applications. Vol. 97. Cambridge University Press. ISBN 0-521-83414-7. Zbl 1034.18001.
• Riehl, Emily (2016). Category Theory in Context (PDF). Dover Publications. ISBN 978-0-486-80903-8. OCLC 1006743127.
• Riguet, Jacques; Guitart, Rene (1992). "Enveloppe Karoubienne et categorie de Kleisli". Cahiers de Topologie et Géométrie Différentielle Catégoriques. 33 (3): 261–6. MR 1186950. Zbl 0767.18008.

• Kleisli category at the nLab

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4