Nuprl Definition : functor_arrow
F(f) == arrow(F) x y f
Definitions occuring in Statement :
functor-arrow: arrow(F),
apply: f a
Definitions occuring in definition :
functor-arrow: arrow(F),
apply: f a
FDL editor aliases :
functor_arrow
Latex:
F(f) == arrow(F) x y f
Date html generated:
2017_01_19-PM-02_52_23
Last ObjectModification:
2017_01_17-PM-00_42_42
Theory : small!categories
Home
Index