Murat Kasimov

More about me

Я language (β)

/Я language (β)/Glossary/Kleisli/

Kleisli is a category assosiated to some monad. But since we don't operate on monads at all, Kleisli refers just to a shape of morphism that looks like this:

: into i ( t i )

Co-Kleisli shaped morphism, respectively:

: into ( t i ) i