categories: Re: Pro C

[William Boshuck <boshuk@triples.math.mcgill.ca>]

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