Nuprl Definition : monad-fun

M(x) ==  monad-functor(M) x


Definitions occuring in Statement :  monad-functor: monad-functor(M),  functor-ob: ob(F),  apply: f a
Definitions occuring in definition :  apply: f a,  functor-ob: ob(F),  monad-functor: monad-functor(M)
FDL editor aliases :  monad-fun
Latex:
M(x)  ==    monad-functor(M)  x


Date html generated: 2020_05_20-AM-07_58_41
Last ObjectModification: 2017_01_17-AM-11_31_58

Theory : small!categories


Home Index