Kleisli Category

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
Category theory concept
gptkbp:contrastsWith Eilenberg–Moore category
gptkbp:describes Structure associated with a monad
gptkbp:hasApplication gptkb:algebra
Functional programming
Semantics of computation
gptkbp:hasFunctor Kleisli functor
gptkbp:hasMorphism Arrows of the form X → T(Y)
gptkbp:hasProperty Universal property
Free construction for monads
https://www.w3.org/2000/01/rdf-schema#label Kleisli Category
gptkbp:introducedIn 1965
gptkbp:namedAfter Heinrich Kleisli
gptkbp:notablePlace Objects of the underlying category
gptkbp:notation C_T
gptkbp:originatedIn Monad (T, η, μ) on a category C
gptkbp:relatedTo gptkb:Functor
gptkbp:usedIn gptkb:Mathematics
Computer science
Category theory
gptkbp:bfsParent gptkb:Monads
gptkbp:bfsLayer 6