Nuprl Definition : functor-comp
functor-comp(F;G) == functor(ob(x) = G (F x);arrow(x,y,a) = G (F x) (F y) (F x y a))
Definitions occuring in Statement :
functor-arrow: arrow(F),
functor-ob: ob(F),
mk-functor: mk-functor,
apply: f a
Definitions occuring in definition :
mk-functor: mk-functor,
functor-ob: ob(F),
apply: f a,
functor-arrow: arrow(F)
FDL editor aliases :
functor-comp
Latex:
functor-comp(F;G) == functor(ob(x) = G (F x);arrow(x,y,a) = G (F x) (F y) (F x y a))
Date html generated:
2020_05_20-AM-07_53_19
Last ObjectModification:
2017_01_13-PM-01_13_36
Theory : small!categories
Home
Index