Nuprl Definition : op-functor
op-functor(F) == functor(ob(x) = F x;arrow(a,b,f) = F b a f)
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 :
op-functor
Latex:
op-functor(F) == functor(ob(x) = F x;arrow(a,b,f) = F b a f)
Date html generated:
2020_05_20-AM-07_52_18
Last ObjectModification:
2017_10_05-AM-11_27_16
Theory : small!categories
Home
Index