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 :
mk-functor: mk-functor,
cat_comp: g o f,
monad-fun: M(x),
monad-unit: monad-unit(M;x)
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:
2020_05_20-AM-07_59_44
Last ObjectModification:
2017_01_17-PM-02_12_12
Theory : small!categories
Home
Index