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 :  apply: f a,  pi2: snd(t)
FDL editor aliases :  monad-op
Latex:
monad-op(M;x)  ==    (snd(snd(M)))  x


Date html generated: 2020_05_20-AM-07_58_52
Last ObjectModification: 2017_01_17-PM-03_44_53

Theory : small!categories


Home Index