From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/520 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: Re: Abelian-topos (AT) categories Date: Fri, 7 Nov 1997 14:45:36 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241017013 26100 80.91.229.2 (29 Apr 2009 14:56:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:56:53 +0000 (UTC) To: categories Original-X-From: cat-dist Fri Nov 7 14:47:03 1997 Original-Received: by mailserv.mta.ca; id AA29834; Fri, 7 Nov 1997 14:45:36 -0400 Original-Lines: 10 Xref: news.gmane.org gmane.science.mathematics.categories:520 Archived-At: Date: Thu, 6 Nov 1997 16:38:20 -0500 (EST) From: Peter Freyd The result that Steve Vickers cited -- that every small abelian cateogory can be fully embedded into a Grothendieck category -- actually must have come before anything proved by Lubkin, Heron, Freyd or Mitchell. I'm sure that Grothendieck knew about the canonical representation of a small abelian category into its category of abelian pre-canonical sheaves.