Nuprl Definition : cubes

cubes(X) ==  sets(CubeCat; X)


Definitions occuring in Statement :  cube-cat: CubeCat,  sets: sets(C; X)
Definitions occuring in definition :  sets: sets(C; X),  cube-cat: CubeCat
FDL editor aliases :  cubes
Latex:
cubes(X)  ==    sets(CubeCat;  X)


Date html generated: 2018_05_23-AM-08_33_03
Last ObjectModification: 2018_02_22-PM-01_52_12

Theory : cubical!type!theory


Home Index