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. 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.

Definition

Span formulation of anafunctors

Anafunctor (span)

Let X and A be categories. An anafunctor F with domain (source) X and codomain (target) A, and between categories X and A is a category | F | {\displaystyle |F|}, in a notation F : X → a A {\displaystyle F:X\xrightarrow {a} A}, is given by the following conditions:

  • F 0 {\displaystyle F_{0}} is surjective on objects.
  • Let pair F 0 : | F | → X {\displaystyle F_{0}:|F|\rightarrow X} and F 1 : | F | → A {\displaystyle F_{1}:|F|\rightarrow A} be functors, a span of ordinary functors (X ← | F | → A {\displaystyle X\leftarrow |F|\rightarrow A}), where F 0 {\displaystyle F_{0}} is fully faithful.

Set-theoretic definition

(5)

An anafunctor F : X → a A {\displaystyle F:X\xrightarrow {a} A} following condition:

  1. A set | F | {\displaystyle |F|} of specifications of F {\displaystyle F}, with maps σ : | F | → O b ( X ) {\displaystyle \sigma :|F|\to \mathrm {Ob} (X)} (source), τ : | F | → O b ( A ) {\displaystyle \tau :|F|\to \mathrm {Ob} (A)} (target). | F | {\displaystyle |F|} is the set of specifications, s ∈ | F | {\displaystyle s\in |F|} specifies the value τ ( s ) {\displaystyle \tau (s)} at the argument σ ( s ) {\displaystyle \sigma (s)}. For X ∈ O b ( X ) {\displaystyle X\in \mathrm {Ob} (X)}, we write | F | X {\displaystyle |F|\;X} for the class { s ∈ | F | : σ ( s ) = X } {\displaystyle \{s\in |F|:\sigma (s)=X\}} and F s ( X ) {\displaystyle F_{s}(X)} for τ ( s ) {\displaystyle \tau (s)} the notation F s ( X ) {\displaystyle F_{s}(X)} presumes that s ∈ | F | X {\displaystyle s\in |F|\;X}.
  2. For each X , Y ∈ O b ( X ) {\displaystyle X,\;Y\in \mathrm {Ob} (X)}, x ∈ | F | X {\displaystyle x\in |F|\;X}, y ∈ | F | Y {\displaystyle y\in |F|\;Y} and f : X → Y {\displaystyle f:X\to Y} in the class of all arrows A r r ( X ) {\displaystyle \mathrm {Arr(X)} } an arrows F x , y ( f ) : F x ( X ) → F y ( Y ) {\displaystyle F_{x,y}(f):F_{x}(X)\to F_{y}(Y)} in A {\displaystyle A}.
  3. For every X ∈ O b ( X ) {\displaystyle X\in \mathrm {Ob} (X)}, such that | F | X {\displaystyle |F|\;X} is inhabited (non-empty).
  4. F {\displaystyle F} hold identity. For all X ∈ O b ( X ) {\displaystyle X\in \mathrm {Ob} (X)} and x ∈ | F | X {\displaystyle x\in |F|\;X}, we have F x , x ( i d x ) = i d F x X {\displaystyle F_{x,x}(\mathrm {id} _{x})=\mathrm {id} _{F_{x}X}}
  5. F {\displaystyle F} hold composition. Whenever X , Y , Z ∈ O b ( X ) {\displaystyle X,Y,Z\in \mathrm {Ob} (X)}, x ∈ | F | X {\displaystyle x\in |F|\;X}, y ∈ | F | Y {\displaystyle y\in |F|\;Y}, z ∈ | F | Z , {\displaystyle z\in |F|\;Z,} and F x , z ( g f ) = F y , z ( g ) ∘ F x , y ( f ) {\displaystyle F_{x,z}(gf)=F_{y,z}(g)\circ F_{x,y}(f)}.

See also

Notes

Bibliography

  • Makkai, M. (1996). "Avoiding the axiom of choice in general category theory". Journal of Pure and Applied Algebra. 108 (2): 109–173. doi:.
  • Makkai, M. (1998). . Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995. Vol. 11. Association for Symbolic Logic. pp. 153–191. Zbl .
  • Palmgren, Erik (2008). . Theory and Applications of Categories. 20: 5–17.
  • Roberts, David M. (2011). (PDF). Theory and Application of Categories. arXiv:.
  • Schreiber, Urs; Waldorf, Konrad (2007). (PDF). Journal of Homotopy and Related Structures. arXiv:.

Further reading

External links

  • Bartels, Toby (2004). "Higher gauge theory I: 2-Bundles". arXiv:.
  • . ncatlab.org.