English edit

Etymology edit

ana- +‎ functor

Noun edit

anafunctor (plural anafunctors)

  1. (mathematics) A generalized functor that does not employ the axiom of choice