Nuprl Definition : presheaf
Presheaf(C) == Functor(op-cat(C);TypeCat)
Definitions occuring in Statement :
type-cat: TypeCat,
op-cat: op-cat(C),
cat-functor: Functor(C1;C2)
Definitions occuring in definition :
cat-functor: Functor(C1;C2),
op-cat: op-cat(C),
type-cat: TypeCat
FDL editor aliases :
presheaf
Latex:
Presheaf(C) == Functor(op-cat(C);TypeCat)
Date html generated:
2020_05_20-AM-07_52_34
Last ObjectModification:
2017_10_02-PM-05_40_39
Theory : small!categories
Home
Index