Nuprl Definition : csm-id

1(X) ==  identity-trans(NameCat;TypeCat;X)



Wellformedness Lemmas :  csm-id_wf
Definitions occuring in Statement :  name-cat: NameCat type-cat: TypeCat identity-trans: identity-trans(C;D;F)
Definitions occuring in definition :  identity-trans: identity-trans(C;D;F) name-cat: NameCat type-cat: TypeCat
FDL editor aliases :  csm-id

Latex:
1(X)  ==    identity-trans(NameCat;TypeCat;X)



Date html generated: 2016_06_16-PM-05_35_59
Last ObjectModification: 2015_09_23-AM-09_29_55

Theory : cubical!sets


Home Index