Nuprl Definition : op-functor
op-functor(F) == functor(ob(x) = ob(F) x;arrow(a,b,f) = arrow(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 :
functor-arrow: arrow(F),
apply: f a,
functor-ob: ob(F),
mk-functor: mk-functor
FDL editor aliases :
op-functor
Latex:
op-functor(F) == functor(ob(x) = ob(F) x;arrow(a,b,f) = arrow(F) b a f)
Date html generated:
2017_10_05-PM-03_34_01
Last ObjectModification:
2017_10_05-AM-11_27_16
Theory : small!categories
Home
Index