Nuprl Definition : mk-monad

mk-monad(T;u;m) ==  <T, u, m>


Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  mk-monad
Latex:
mk-monad(T;u;m)  ==    <T,  u,  m>


Date html generated: 2020_05_20-AM-07_58_30
Last ObjectModification: 2017_01_16-PM-07_52_11

Theory : small!categories


Home Index