Nuprl Definition : cu-cube-family
cu-cube-family(alpha;L;f) == (fst(fst(alpha))) L f
Definitions occuring in Statement :
pi1: fst(t),
apply: f a
Definitions occuring in definition :
apply: f a,
pi1: fst(t)
FDL editor aliases :
cu-cube-family
cu-cube-family
Latex:
cu-cube-family(alpha;L;f) == (fst(fst(alpha))) L f
Date html generated:
2016_06_16-PM-08_06_59
Last ObjectModification:
2015_09_23-AM-09_35_02
Theory : cubical!sets
Home
Index