Nuprl Definition : bag-monad
BagMonad ==  mk_monad(λT.bag(T);λx.{x};λba,f. ⋃x∈ba.f x)
Definitions occuring in Statement : 
bag-combine: ⋃x∈bs.f[x]
, 
single-bag: {x}
, 
bag: bag(T)
, 
mk_monad: mk_monad(M;return;bind)
, 
apply: f a
, 
lambda: λx.A[x]
Definitions occuring in definition : 
mk_monad: mk_monad(M;return;bind)
, 
bag: bag(T)
, 
single-bag: {x}
, 
lambda: λx.A[x]
, 
bag-combine: ⋃x∈bs.f[x]
, 
apply: f a
FDL editor aliases : 
bag-monad
Latex:
BagMonad  ==    mk\_monad(\mlambda{}T.bag(T);\mlambda{}x.\{x\};\mlambda{}ba,f.  \mcup{}x\mmember{}ba.f  x)
Date html generated:
2016_05_15-PM-02_29_11
Last ObjectModification:
2015_09_23-AM-07_39_12
Theory : bags
Home
Index