Nuprl Definition : mk_monad

mk_monad(M;return;bind) ==  <M, return, bind, Ax, Ax, Ax>


Definitions occuring in Statement :  pair: <a, b>,  axiom: Ax
Definitions occuring in definition :  pair: <a, b>,  axiom: Ax
FDL editor aliases :  mk_monad
Latex:
mk\_monad(M;return;bind)  ==    <M,  return,  bind,  Ax,  Ax,  Ax>


Date html generated: 2016_05_15-PM-02_16_54
Last ObjectModification: 2015_09_23-AM-07_38_23

Theory : monads


Home Index