From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5238 Path: news.gmane.org!not-for-mail From: Andrew Salch Newsgroups: gmane.science.mathematics.categories Subject: intersections of classes Date: Wed, 11 Nov 2009 16:36:41 -0500 (EST) Message-ID: Reply-To: Andrew Salch NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1257994233 29749 80.91.229.12 (12 Nov 2009 02:50:33 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 12 Nov 2009 02:50:33 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Thu Nov 12 03:50:26 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1N8PlQ-0003Qq-1x for gsmc-categories@m.gmane.org; Thu, 12 Nov 2009 03:50:24 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1N8PKo-00008h-DL for categories-list@mta.ca; Wed, 11 Nov 2009 22:22:54 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5238 Archived-At: I have a question for the category theorists which is unfortunately just an issue about sets and classes that I hope some of you have thought about before, and can help me with: let C be a class, and consider a family of subclasses C_i of C, which are indexed by an index class I. Am I allowed to take the intersection of a family of classes indexed by a class? Is the result a class? What I am really thinking of, here, is the situation that C is the class of objects in an abelian category X; I have two reflective topologizing subcategories Y,Z of X; and I would like to know that there exists a smallest reflective topologizing subcategory of X containing both Y and Z. The intersection of reflective topologizing subcategories is again reflective and topologizing, so I would like to be able to take the intersection of all the reflective topologizing subcategories of X containing both Y and Z (or, what comes to the same thing since all these subcategories are full subcategories, the full subcategory generated by the intersection of the object classes of all the reflective topologizing subcategories of X containing both Y and Z). However this is an intersection of classes, indexed by a class, and in general one can't expect any of these classes to be sets. When the abelian category X is the category of modules over a commutative ring, then the class of reflective topologizing subcategories of X forms a set, so one can take this intersection without any problems; but I do not suspect that this will be true for all abelian categories. More generally, if there is a book or paper on set theory which covers some of the basic operations you can and can't do with classes, "for the working mathematician," I'd really like to hear about it. Thanks, Andrew S. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]