Nuprl Definition : cubical_type
cubical_type{i:l}(X) == presheaf{i':l}(cubes(X))
Definitions occuring in Statement :
cubes: cubes(X),
presheaf: Presheaf(C)
Definitions occuring in definition :
presheaf: Presheaf(C),
cubes: cubes(X)
FDL editor aliases :
cubical_type
Latex:
cubical\_type\{i:l\}(X) == presheaf\{i':l\}(cubes(X))
Date html generated:
2018_05_23-AM-08_41_10
Last ObjectModification:
2017_11_12-PM-02_53_56
Theory : cubical!type!theory
Home
Index