anafunctor
Noun
Meaning
anafunctor (plural anafunctors)
(mathematics) A generalized functor that does not employ the axiom of choice
Noun
anafunctor (plural anafunctors)
(mathematics) A generalized functor that does not employ the axiom of choice