Nuprl Definition : presheaf-element-map
presheaf-element-map(m) == functor(ob(p) = let I,a = p in <I, m I a>;arrow(p,q,f) = f)
Definitions occuring in Statement :
mk-functor: mk-functor,
apply: f a,
spread: spread def,
pair: <a, b>
Definitions occuring in definition :
apply: f a,
pair: <a, b>,
spread: spread def,
mk-functor: mk-functor
FDL editor aliases :
presheaf-element-map
Latex:
presheaf-element-map(m) == functor(ob(p) = let I,a = p in <I, m I a>arrow(p,q,f) = f)
Date html generated:
2017_10_05-AM-00_51_20
Last ObjectModification:
2017_10_04-PM-06_32_00
Theory : small!categories
Home
Index