Nuprl Definition : monad-extend
monad-extend(C;M;x;y;f) == cat-comp(C) M(x) M(M(y)) M(y) (arrow(monad-functor(M)) x M(y) f) monad-op(M;y)
Definitions occuring in Statement :
monad-op: monad-op(M;x),
monad-fun: M(x),
monad-functor: monad-functor(M),
functor-arrow: arrow(F),
cat-comp: cat-comp(C),
apply: f a
Definitions occuring in definition :
monad-op: monad-op(M;x),
monad-fun: M(x),
monad-functor: monad-functor(M),
functor-arrow: arrow(F),
apply: f a,
cat-comp: cat-comp(C)
FDL editor aliases :
monad-extend
Latex:
monad-extend(C;M;x;y;f) ==
cat-comp(C) M(x) M(M(y)) M(y) (arrow(monad-functor(M)) x M(y) f) monad-op(M;y)
Date html generated:
2017_01_19-PM-02_58_30
Last ObjectModification:
2017_01_17-PM-03_49_10
Theory : small!categories
Home
Index