Nuprl Definition : functor-presheaf
functor-presheaf(F;P) == functor-comp(op-functor(F);P)
Definitions occuring in Statement :
functor-comp: functor-comp(F;G),
op-functor: op-functor(F)
Definitions occuring in definition :
functor-comp: functor-comp(F;G),
op-functor: op-functor(F)
FDL editor aliases :
functor-presheaf
Latex:
functor-presheaf(F;P) == functor-comp(op-functor(F);P)
Date html generated:
2020_05_20-AM-07_57_58
Last ObjectModification:
2017_10_05-AM-11_35_35
Theory : small!categories
Home
Index