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 :
op-functor: op-functor(F),
functor-comp: functor-comp(F;G)
FDL editor aliases :
functor-presheaf
Latex:
functor-presheaf(F;P) == functor-comp(op-functor(F);P)
Date html generated:
2017_10_05-PM-03_34_07
Last ObjectModification:
2017_10_05-AM-11_35_35
Theory : small!categories
Home
Index