Nuprl Definition : cubical-path

cubical-path(X;A;a;b;I;alpha) ==  p,q:I-path(X;A;a;b;I;alpha)//path-eq(X;A;I;alpha;p;q)


Definitions occuring in Statement :  path-eq: path-eq(X;A;I;alpha;p;q),  I-path: I-path(X;A;a;b;I;alpha),  quotient: x,y:A//B[x; y]
Definitions occuring in definition :  quotient: x,y:A//B[x; y],  I-path: I-path(X;A;a;b;I;alpha),  path-eq: path-eq(X;A;I;alpha;p;q)
FDL editor aliases :  cubical-path cubical-path
Latex:
cubical-path(X;A;a;b;I;alpha)  ==    p,q:I-path(X;A;a;b;I;alpha)//path-eq(X;A;I;alpha;p;q)


Date html generated: 2016_06_16-PM-07_30_10
Last ObjectModification: 2015_09_23-AM-09_34_20

Theory : cubical!sets


Home Index