Nuprl Definition : Kleisli-left
KlF(C;M) == functor(ob(x) = x;arrow(x,y,f) = monad-unit(M;y) o f)
Definitions occuring in Statement :
monad-unit: monad-unit(M;x),
monad-fun: M(x),
mk-functor: mk-functor,
cat_comp: g o f
Definitions occuring in definition :
monad-unit: monad-unit(M;x),
monad-fun: M(x),
cat_comp: g o f,
mk-functor: mk-functor
FDL editor aliases :
Kleisli-left
Latex:
KlF(C;M) == functor(ob(x) = x;arrow(x,y,f) = monad-unit(M;y) o f)
Date html generated:
2017_01_19-PM-02_59_23
Last ObjectModification:
2017_01_17-PM-02_12_12
Theory : small!categories
Home
Index