Nuprl Definition : I-cube

X(I) ==  functor-ob(X) I


Definitions occuring in Statement :  functor-ob: functor-ob(F),  apply: f a
Definitions occuring in definition :  apply: f a,  functor-ob: functor-ob(F)
FDL editor aliases :  I-cube
Latex:
X(I)  ==    functor-ob(X)  I


Date html generated: 2016_06_16-PM-05_36_08
Last ObjectModification: 2015_09_23-AM-09_29_57

Theory : cubical!sets


Home Index