Nuprl Definition : general_corec
general_corec(I;x,y.R[x; y];T.F[T]) == ⋂a:I. iterate_functor(I;x,y.R[x; y];T.F[T];a)
Definitions occuring in Statement :
iterate_functor: iterate_functor(I;x,y.R[x; y];T.F[T];a),
isect: ⋂x:A. B[x]
Definitions occuring in definition :
isect: ⋂x:A. B[x],
iterate_functor: iterate_functor(I;x,y.R[x; y];T.F[T];a)
FDL editor aliases :
general_corec
Latex:
general\_corec(I;x,y.R[x; y];T.F[T]) == \mcap{}a:I. iterate\_functor(I;x,y.R[x; y];T.F[T];a)
Date html generated:
2016_05_14-AM-06_11_51
Last ObjectModification:
2015_09_22-PM-05_46_57
Theory : co-recursion
Home
Index