[FOM] Axiom of Choice in Category Theory
Laurent Delattre
nouvid-fom at yahoo.fr
Fri Feb 3 22:07:52 EST 2006
Thank you for the numerous replies to my questions.
Now I understand well why D should be discrete.
However, saying that a (small) category is discrete
amount to say it is a set. Thus the following
statement of the Axiom of Choice in Category Theory
has a set-theoretic flavour:
"Let C and D be (small) categories such that C is not
empty and D is discrete. Let F be a functor from C to
D. There exists a functor G from D to C such that
FGF=F".
Are there more "categorical" ways to state this axiom?
I was hoping that it might be expressed by some
adjunction but it appears it is not possible.
Laurent
___________________________________________________________________________
Nouveau : téléphonez moins cher avec Yahoo! Messenger ! Découvez les tarifs exceptionnels pour appeler la France et l'international.
Téléchargez sur http://fr.messenger.yahoo.com
More information about the FOM
mailing list