Global InformationAnafunctor information
Look up anafunctor in Wiktionary, the free dictionary.
An anafunctor[note 1] is a notion introduced by Makkai (1996) for ordinary categories that is a generalization of functors.[1] In category theory, some statements require the axiom of choice, but the axiom of choice can sometimes be avoided when using an anafunctor.[2] For example, the statement "every fully faithful and essentially surjective functor is an equivalence of categories" is equivalent to the axiom of choice, but we can usually follow the same statement without the axiom of choice by using anafunctor instead of functor.[1][3]
- ^ a b c Cite error: The named reference
Roberts2011was invoked but never defined (see the help page). - ^ (Makkai 1998)
- ^ (anafunctor in nlab, §1. Idea)
Cite error: There are <ref group=note> tags on this page, but the references will not show without a {{reflist|group=note}} template (see the help page).