Nuprl Definition : Kleisli-right
KlG(C;M) == functor(ob(y) = M(y);arrow(x,y,f) = monad-extend(C;M;x;y;f))
Definitions occuring in Statement :
monad-extend: monad-extend(C;M;x;y;f),
monad-fun: M(x),
mk-functor: mk-functor
Definitions occuring in definition :
mk-functor: mk-functor,
monad-fun: M(x),
monad-extend: monad-extend(C;M;x;y;f)
FDL editor aliases :
Kleisli-right
Latex:
KlG(C;M) == functor(ob(y) = M(y);arrow(x,y,f) = monad-extend(C;M;x;y;f))
Date html generated:
2020_05_20-AM-07_59_52
Last ObjectModification:
2017_01_17-PM-02_20_05
Theory : small!categories
Home
Index