Nuprl Definition : monad-op

monad-op(M;x) ==  (snd(snd(M))) x


Definitions occuring in Statement :  pi2: snd(t),  apply: f a
Definitions occuring in definition :  pi2: snd(t),  apply: f a
FDL editor aliases :  monad-op
Latex:
monad-op(M;x)  ==    (snd(snd(M)))  x


Date html generated: 2017_01_19-PM-02_58_18
Last ObjectModification: 2017_01_17-PM-03_44_53

Theory : small!categories


Home Index