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