In mathematics, an anafunctor is a notion introduced by Makkai (1996) for ordinary categories that is a generalization of functors. In category theory, some statements require the axiom of choice, but the axiom of choice can sometimes be avoided when using an anafunctor.
In mathematics, an anafunctor is a notion introduced by Makkai (1996) for ordinary categories that is a generalization of functors. In category theory, some statements require the axiom of choice, but the axiom of choice can sometimes be avoided when using an anafunctor.
Source: Wikipedia "Anafunctor" · CC BY-SA 4.0
Share this article: X · Bluesky