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? Bill Rowan
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
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.
participants (3)
-
Bill Rowan -
Dan Christensen -
Mike Oliver