From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1993 Path: news.gmane.org!not-for-mail From: Dan Isaksen Newsgroups: gmane.science.mathematics.categories Subject: Re: Pro C Date: Fri, 1 Jun 2001 08:23:10 -0500 (EST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241018263 1612 80.91.229.2 (29 Apr 2009 15:17:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:17:43 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sat Jun 2 22:39:00 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f530mrE18399 for categories-list; Sat, 2 Jun 2001 21:48:53 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 3 Original-Lines: 41 Xref: news.gmane.org gmane.science.mathematics.categories:1993 Archived-At: A slightly more recent exposition is given in D. A. Edwards and H. M. Hastings, Cech and Steenrod homotopy theories with applications to geometric topology, Lecture Notes in Mathematics 542, Springer, 1976 on pages 6--7. It is a bit strange that Edwards and Hastings credit Mardesic and do not mention Deligne. Understandably, they must have been more familiar with the literature on shape theory than on algebraic geometry. Dan Isaksen University of Notre Dame isaksen.1@nd.edu > Date: Thu, 31 May 2001 07:42:43 -0400 > From: William Boshuck > To: categories@mta.ca > Subject: categories: Re: Pro C > > This is due to Deligne, and can be found towards > the beginning of SGA4, Expose I, section 8. I would > like to know of a more recent source that is so (or > more) thorough on the subject. > cheers, > -b > On Tue, May 29, 2001 at 09:38:43PM -0700, Bill Rowan wrote: > > > > I have read that if C is a category, and the axiom of choice is assumed, then > > Pro C is equivalent to its full subcategory of diagrams where the diagram > > category is an inversely-directed set. Does anyone know where this is proved > > in the literature? > > > > Thanks, > > > > Bill Rowan