From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/557
Path: news.gmane.org!not-for-mail
From: categories <cat-dist@mta.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: Injectives and choice
Date: Mon, 8 Dec 1997 15:41:42 -0400 (AST)
Message-ID: <Pine.OSF.3.90.971208154131.23475A-100000@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241017035 26261 80.91.229.2 (29 Apr 2009 14:57:15 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 14:57:15 +0000 (UTC)
To: categories <categories@mta.ca>
Original-X-From: cat-dist Mon Dec  8 15:41:54 1997
Original-Received: (from cat-dist@localhost)
	by mailserv.mta.ca (8.8.8/8.8.8) id PAA20619;
	Mon, 8 Dec 1997 15:41:42 -0400 (AST)
Original-Lines: 20
Xref: news.gmane.org gmane.science.mathematics.categories:557
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/557>

Date: Mon, 8 Dec 1997 13:11:00 -0500 (EST)
From: Colin McLarty <cxm7@po.cwru.edu>


        Grothendieck's proof that every AB5 category has enough injectives
uses the axiom of choice (actually Zorn's lemma--which John Bell points out
to me is significantly weaker than choice in toposes). And the proof in
Johnstone's TOPOS THEORY that the category of Abelian groups over any
Grothendieck topos has enough injectives uses Barr's theorem: Every
Grothendieck topos is covered by one that satisfies the axiom of choice.
This theorem itself assumes the axiom of choice in the base topos (i.e. the
one over which the others are Grothendeick).

        Are there any good results showing how necessary the axiom of
choice, or Zorn's lemma, is to these results?