Definition, synonyms and related words
A generalized functor that does not employ the axiom of choice