Nuprl Definition : monad-fun
M(x) == ob(monad-functor(M)) x
Definitions occuring in Statement :
monad-functor: monad-functor(M),
functor-ob: ob(F),
apply: f a
Definitions occuring in definition :
monad-functor: monad-functor(M),
functor-ob: ob(F),
apply: f a
FDL editor aliases :
monad-fun
Latex:
M(x) == ob(monad-functor(M)) x
Date html generated:
2017_01_19-PM-02_58_02
Last ObjectModification:
2017_01_17-AM-11_31_58
Theory : small!categories
Home
Index