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