show/hide this revision's text 2 +tag
    Post Made Community Wiki by Scott Morrison

show/hide this revision's text 1

Where are some interesting places where the axiom of choice crops up in category theory?

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.