Where are some interesting places where the axiom of choice crops up in category theory? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T18:09:01Z http://mathoverflow.net/feeds/question/3557 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/3557/where-are-some-interesting-places-where-the-axiom-of-choice-crops-up-in-category Where are some interesting places where the axiom of choice crops up in category theory? Aleks Kissinger 2009-10-31T16:18:16Z 2012-08-27T23:54:29Z <p>The two that come to mind are splitting epics in Set and taking the Skel of a category. Surely there are lots of other interesting (and maybe upsetting) places where this comes up.</p> http://mathoverflow.net/questions/3557/where-are-some-interesting-places-where-the-axiom-of-choice-crops-up-in-category/3560#3560 Answer by John Goodrick for Where are some interesting places where the axiom of choice crops up in category theory? John Goodrick 2009-10-31T16:29:26Z 2009-10-31T19:52:44Z <p>In proving that whenever there is a full, faithful functor F: C to D which is essentially surjective (i.e. hits every isomorphism class of objects in D), C and D are equivalent categories.</p> <p>(This is pretty close to your example of taking Skel of a category.)</p> http://mathoverflow.net/questions/3557/where-are-some-interesting-places-where-the-axiom-of-choice-crops-up-in-category/3563#3563 Answer by Mike Shulman for Where are some interesting places where the axiom of choice crops up in category theory? Mike Shulman 2009-10-31T16:44:01Z 2009-10-31T16:44:01Z <p>Using the usual definition of "functor," almost any functor constructed using only universal properties requires the axiom of choice. For instance, if a category C has products, then one wants a "product assigning" functor C×C → C, but in order to define this you have to <em>choose</em> a product for each pair of objects. If C is a large category, then you need an axiom of choice for proper classes.</p> <p>However, this sort of thing is arguably not a "real" use of the axiom of choice. It's more accurate to say that in the absence of the axiom of choice the usual definition of "functor" is not sufficient, and one must use <a href="http://ncatlab.org/nlab/show/anafunctor" rel="nofollow">anafunctors</a> instead. Proving that fully faithful + essentially surjective = equivalence is the same. Most often in category theory when we want to "choose" something, that thing is in fact determined up to unique isomorphism (though not uniquely on the nose) and in that case using anafunctors is sufficient to avoid choice.</p> <p>The axiom of choice does, however, come up in the study of particular properties of the category Set. One interesting consequence of the fact that epics split in Set is that <em>all functors defined on Set preserve epics</em>. I think this is an important part of Blass' proof that the existence of nontrivial (left and right) exact endofunctors of set is equivalent to the existence of measurable cardinals. Another interesting consequence is that Set is its own "ex/lex completion."</p> http://mathoverflow.net/questions/3557/where-are-some-interesting-places-where-the-axiom-of-choice-crops-up-in-category/3623#3623 Answer by B. Bischof for Where are some interesting places where the axiom of choice crops up in category theory? B. Bischof 2009-10-31T23:51:25Z 2009-11-01T00:57:24Z <p>While not the traditional Axiom of choice, Zorn's Lemma makes an appearance on the road to Mitchel's Theorem;</p> <p>If X is an abelian category with the <a href="http://en.wikipedia.org/wiki/Abelian%5Fcategory" rel="nofollow">sup</a> property(Grothendeick's AB5), then an object E is injective iff it does not have a non-trivial essential extension.</p> <p>Mitchel's theorem is stated in Rotman's Homological Algebra(page 316) as;</p> <p>If A is a small abelian category, then there is a covariant full faithful exact functor from A to abelian groups.</p> <p>I believe(but do not have access to the appropriate materials to give details) that Zorn's lemma appears in homotopy limits also.</p> http://mathoverflow.net/questions/3557/where-are-some-interesting-places-where-the-axiom-of-choice-crops-up-in-category/3636#3636 Answer by Harry Gindi for Where are some interesting places where the axiom of choice crops up in category theory? Harry Gindi 2009-11-01T03:53:16Z 2009-11-01T03:53:16Z <p>Choosing fiber products to define the sheafification of a presheaf with respect to a grothendieck pretopology (you later prove that this construction is independent of choice, but it's necessary during the construction). See stacks-git in the remark immediately preceding proposition 8.10.3.</p> http://mathoverflow.net/questions/3557/where-are-some-interesting-places-where-the-axiom-of-choice-crops-up-in-category/105661#105661 Answer by dmdmdmdmdmd for Where are some interesting places where the axiom of choice crops up in category theory? dmdmdmdmdmd 2012-08-27T23:54:29Z 2012-08-27T23:54:29Z <p>If $s:\mathcal{X} \to \mathcal{C}$ is a fibered category and $\varphi:C \to D$ is a morphism in $\mathcal{C}$, for each object $y$ in the fiber $\mathcal{X}_D$ the axiom of choice allows us to specify exactly one pullback $f:y_C \to y$ (i.e., a cartesian arrow $f$ with $s(f)=\varphi$). The choice of such a collection is called a 'cleavage', and a cleavage always exists by the axiom of choice. </p> <p>This enables us to define the 'change of base functor' $\varphi^*:\mathcal{X}_D \to \mathcal{X}_C$. </p>