Nuprl Definition : psc_map
A ⟶ B == nat-trans(op-cat(C);TypeCat';A;B)
Definitions occuring in Statement :
type-cat: TypeCat,
op-cat: op-cat(C),
nat-trans: nat-trans(C;D;F;G)
Definitions occuring in definition :
nat-trans: nat-trans(C;D;F;G),
op-cat: op-cat(C),
type-cat: TypeCat
FDL editor aliases :
psc_map
Latex:
A {}\mrightarrow{} B == nat-trans(op-cat(C);TypeCat';A;B)
Date html generated:
2018_05_22-PM-09_59_49
Last ObjectModification:
2018_02_19-PM-06_27_16
Theory : presheaf!models!of!type!theory
Home
Index