categories: Re: Pro C

["Prof. T.Porter" <t.porter@bangor.ac.uk>]

William Boshuck wrote:
> 
> 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


Dear All 
I replied to Bill Rowan directly yesterday but it now seems that others
might be interested in my reply so here it is.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

In my book with Cordier, the result you want is Proposition 4 p 42 (The
book is :Categorical Shape Theory, Cordier and Porter, Published by
Ellis Horwood, 1989).  The result is known to some shape theorists as
the Mardesic trick as Sibe Mardesic is thought to have found it, but I
seem to remember seeing a version of it in Grothendieck's work (SGA4 and
earlier) If you can get a copy of our book there is a reasonably
categorical treatment of pro categories.   
   Best wishes,

Tim Porter