Re: Projective sets

Bill Rowan <rowan@transbay.net> writes:

Hi, I am working a lot with the category Pro[Set]. Would it be OK to call this the category of projective sets? Or is there a better name for it?

It's the category of pro-sets and each object is a pro-set. Calling them projective sets isn't a good idea, since then, by analogy, the objects of the category Pro[Spaces] would be called projective spaces, and that means something else... Dan