Nuprl Definition : monad-extend

monad-extend(C;M;x;y;f) ==  cat-comp(C) M(x) M(M(y)) M(y) (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 :  cat-comp: cat-comp(C),  apply: f a,  functor-arrow: arrow(F),  monad-functor: monad-functor(M),  monad-fun: M(x),  monad-op: monad-op(M;x)
FDL editor aliases :  monad-extend
Latex:
monad-extend(C;M;x;y;f)  ==    cat-comp(C)  M(x)  M(M(y))  M(y)  (monad-functor(M)  x  M(y)  f)  monad-op(M;y)


Date html generated: 2020_05_20-AM-07_59_01
Last ObjectModification: 2017_01_17-PM-03_49_10

Theory : small!categories


Home Index