anafunctor
English
Etymology
From
ana-
+
functor
.
Noun
anafunctor
(
plural
anafunctors
)
(
mathematics
)
A
generalized
functor
that does not employ the
axiom of choice