Nuprl Definition : presheaf_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 :
type-cat: TypeCat,
op-cat: op-cat(C),
nat-trans: nat-trans(C;D;F;G)
FDL editor aliases :
presheaf_map
Latex:
A {}\mrightarrow{} B == nat-trans(op-cat(C);TypeCat;A;B)
Date html generated:
2017_10_05-AM-00_51_14
Last ObjectModification:
2017_10_04-PM-05_57_26
Theory : small!categories
Home
Index