Nuprl Definition : presheaf-unit

1 ==  discr(Unit)


Definitions occuring in Statement :  discrete-presheaf-type: discr(T),  unit: Unit
Definitions occuring in definition :  discrete-presheaf-type: discr(T),  unit: Unit
FDL editor aliases :  presheaf-unit
Latex:
1  ==    discr(Unit)


Date html generated: 2018_05_23-AM-08_24_43
Last ObjectModification: 2018_02_21-PM-11_41_47

Theory : presheaf!models!of!type!theory


Home Index