Nuprl Definition : presheaf-type-at
A(a) == (fst(A)) I a
Definitions occuring in Statement :
pi1: fst(t)
,
apply: f a
Definitions occuring in definition :
apply: f a
,
pi1: fst(t)
FDL editor aliases :
presheaf-type-at
Latex:
A(a) == (fst(A)) I a
Date html generated:
2018_05_22-PM-10_02_27
Last ObjectModification:
2018_02_21-AM-11_28_16
Theory : presheaf!models!of!type!theory
Home
Index