Nuprl Definition : sub-cubical-set
X | I,rho.P[I; rho] == X|I,rho.P[I; rho]
Definitions occuring in Statement :
presheaf-subset: F|I,rho.P[I; rho]
Definitions occuring in definition :
presheaf-subset: F|I,rho.P[I; rho]
FDL editor aliases :
sub-cubical-set
Latex:
X | I,rho.P[I; rho] == X|I,rho.P[I; rho]
Date html generated:
2017_10_05-AM-01_07_48
Last ObjectModification:
2017_10_03-PM-03_48_19
Theory : cubical!type!theory
Home
Index