Nuprl Definition : small_cubical_set
SmallCubicalSet == small_ps_context{i:l}(CubeCat)
Definitions occuring in Statement :
cube-cat: CubeCat,
small_ps_context: small_ps_context{i:l}(C)
Definitions occuring in definition :
small_ps_context: small_ps_context{i:l}(C),
cube-cat: CubeCat
FDL editor aliases :
small_cubical_set
Latex:
SmallCubicalSet == small\_ps\_context\{i:l\}(CubeCat)
Date html generated:
2018_05_23-AM-08_31_02
Last ObjectModification:
2018_02_22-PM-01_49_56
Theory : cubical!type!theory
Home
Index