Nuprl Definition : presheaf_type
presheaf_type{i:l}(C; X) == presheaf{i':l}(sets(C; X))
Definitions occuring in Statement :
sets: sets(C; X),
presheaf: Presheaf(C)
Definitions occuring in definition :
presheaf: Presheaf(C),
sets: sets(C; X)
Latex:
presheaf\_type\{i:l\}(C; X) == presheaf\{i':l\}(sets(C; X))
Date html generated:
2018_05_22-PM-10_01_33
Last ObjectModification:
2018_02_20-PM-03_00_24
Theory : presheaf!models!of!type!theory
Home
Index