Nuprl Definition : monad-unit
monad-unit(M;x) == (fst(snd(M))) x
Definitions occuring in Statement :
pi1: fst(t),
pi2: snd(t),
apply: f a
Definitions occuring in definition :
apply: f a,
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
monad-unit
Latex:
monad-unit(M;x) == (fst(snd(M))) x
Date html generated:
2020_05_20-AM-07_58_46
Last ObjectModification:
2017_01_17-AM-11_44_02
Theory : small!categories
Home
Index