Nuprl Definition : Spread
Spread(Pos;a.Mv[a]) == corec(G.a:Pos × (Mv[a] ⟶ G))
Definitions occuring in Statement :
corec: corec(T.F[T]),
function: x:A ⟶ B[x],
product: x:A × B[x]
Definitions occuring in definition :
corec: corec(T.F[T]),
product: x:A × B[x],
function: x:A ⟶ B[x]
FDL editor aliases :
Spread
Latex:
Spread(Pos;a.Mv[a]) == corec(G.a:Pos \mtimes{} (Mv[a] {}\mrightarrow{} G))
Date html generated:
2016_05_14-PM-03_56_17
Last ObjectModification:
2015_09_22-PM-06_01_52
Theory : spread
Home
Index