Nuprl Definition : psdcff-inj
psdcff-inj(I;w) == w I (cat-id(C) I)
Definitions occuring in Statement :
cat-id: cat-id(C),
apply: f a
Definitions occuring in definition :
apply: f a,
cat-id: cat-id(C)
FDL editor aliases :
psdcff-inj
Latex:
psdcff-inj(I;w) == w I (cat-id(C) I)
Date html generated:
2018_05_23-AM-08_26_55
Last ObjectModification:
2018_02_23-PM-07_10_01
Theory : presheaf!models!of!type!theory
Home
Index