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