Nuprl Definition : presheaf-id-fun

presheaf-id-fun(X) ==  presheaf-lam(X;q)


Definitions occuring in Statement :  presheaf-lam: presheaf-lam(X;b),  psc-snd: q
Definitions occuring in definition :  presheaf-lam: presheaf-lam(X;b),  psc-snd: q
FDL editor aliases :  presheaf-id-fun
Latex:
presheaf-id-fun(X)  ==    presheaf-lam(X;q)


Date html generated: 2018_05_23-AM-08_17_46
Last ObjectModification: 2018_02_21-PM-03_08_34

Theory : presheaf!models!of!type!theory


Home Index