anafunctor

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