Nuprl Definition : presheaf-cat
Presheafs(C) == FUN(op-cat(C);TypeCat)
Definitions occuring in Statement :
type-cat: TypeCat,
op-cat: op-cat(C),
functor-cat: FUN(C1;C2)
Definitions occuring in definition :
type-cat: TypeCat,
op-cat: op-cat(C),
functor-cat: FUN(C1;C2)
FDL editor aliases :
presheaf-cat
Latex:
Presheafs(C) == FUN(op-cat(C);TypeCat)
Date html generated:
2017_10_05-AM-00_46_40
Last ObjectModification:
2017_10_02-PM-05_39_09
Theory : small!categories
Home
Index