Kleisli Category - Extension Operators and Kleisli Triples

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

Composition in the Kleisli category C_T can then be written

The extension operator satisfies the identities:

$\begin{align}\eta_X^* &= \mathrm{id}_{TX}\\ f^*\circ\eta_X &= f\\ (g^*\circ f)^* &= g^* \circ f^*\end{align}$

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

Read more about this topic: Kleisli Category

Famous quotes containing the word extension:

“Where there is reverence there is fear, but there is not reverence everywhere that there is fear, because fear presumably has a wider extension than reverence.”
—Socrates (469–399 B.C.)