Nuprl Definition : set-path-name

set-path-name(X;A;I;alpha;x;p) ==  let z,w = p in <x, named-path-morph(X;A;I;I;z;x;1;alpha;w)>


Definitions occuring in Statement :  named-path-morph: named-path-morph(X;A;I;K;z;x;f;alpha;w),  id-morph: 1,  spread: spread def,  pair: <a, b>
Definitions occuring in definition :  spread: spread def,  pair: <a, b>,  named-path-morph: named-path-morph(X;A;I;K;z;x;f;alpha;w),  id-morph: 1
FDL editor aliases :  set-path-name
Latex:
set-path-name(X;A;I;alpha;x;p)  ==    let  z,w  =  p  in  <x,  named-path-morph(X;A;I;I;z;x;1;alpha;w)>


Date html generated: 2016_06_16-PM-07_31_52
Last ObjectModification: 2015_09_23-AM-09_34_27

Theory : cubical!sets


Home Index