Nuprl Definition : monad-functor
monad-functor(M) == fst(M)
Definitions occuring in Statement :
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t)
FDL editor aliases :
monad-functor
Latex:
monad-functor(M) == fst(M)
Date html generated:
2017_01_19-PM-02_57_55
Last ObjectModification:
2017_01_17-AM-11_28_30
Theory : small!categories
Home
Index