anafunctor

Noun

 * 1)  A generalized functor that does not employ the axiom of choice