Re: Projective sets

Bill Rowan wrote:

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?

I don't really know much about categories, but "projective set" already has a standard meaning in descriptive set theory (it means Sigma^1_n boldface for some natural number n). If the objects of your category correspond in some natural way to such sets, then your terminology is fine; otherwise I'd find something else.