Nuprl Definition : cs-predicate
cs-predicate(X;I,rho.P[I; rho]) == psc-predicate(CubeCat; X; I,rho.P[I; rho])
Definitions occuring in Statement :
cube-cat: CubeCat,
psc-predicate: psc-predicate(C; X; I,rho.P[I; rho])
Definitions occuring in definition :
psc-predicate: psc-predicate(C; X; I,rho.P[I; rho]),
cube-cat: CubeCat
FDL editor aliases :
cs-predicate
Latex:
cs-predicate(X;I,rho.P[I; rho]) == psc-predicate(CubeCat; X; I,rho.P[I; rho])
Date html generated:
2018_05_23-AM-08_32_32
Last ObjectModification:
2018_02_22-PM-01_51_26
Theory : cubical!type!theory
Home
Index