From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6067 Path: news.gmane.org!not-for-mail From: Peter Freyd Newsgroups: gmane.science.mathematics.categories Subject: Re: Question on choosing subobjects consistently Date: Sat, 28 Aug 2010 08:24:09 -0400 Message-ID: <201008281224.o7SCO9rh022252@minus.seas.upenn.edu> Reply-To: Peter Freyd NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1283001329 32547 80.91.229.12 (28 Aug 2010 13:15:29 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 28 Aug 2010 13:15:29 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sat Aug 28 15:15:27 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpy.mta.ca ([138.73.1.139]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OpLFn-0005do-AK for gsmc-categories@m.gmane.org; Sat, 28 Aug 2010 15:15:27 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:50651) by smtpy.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1OpLED-0002Bu-U5; Sat, 28 Aug 2010 10:13:49 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1OpLEA-0007JF-Bt for categories-list@mlist.mta.ca; Sat, 28 Aug 2010 10:13:46 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6067 Archived-At: Mike asks how to pick what I'll call "inclusion maps" that is a choice of monics so that each subobject is named by a unique inclusion map and such that the inclusion maps are closed under composition. I don't know what Grothendieck had in mind, but it's an easy application of the stuff about tau-categories in Cats & Alligators copied from my 1975 "pamphlet." The setting there is cats with finite limits but of course you could always work in the full subcategory of representable functors in the category of set-valued contraviariant functors. A tau-structure gives you not only (transitive) canonical subobjects but associative canonical products and all sorts of goodies. But alas it delivers an equivalent category, not necessarily the category you started with. I don't know how to do it in an arbitrary category. But neither does anyone else, not even Grothendieck: Consider the subcategory of the category of sets with three objects, A,B,C each of which is a two-element set. There well be a total of ten maps, three of which, of course, are identity maps. The other seven maps will be one-to-one and onto but only one of them an isomorphism (as defined, of course, in the subcategory). The one non-trivial isomorphism will be on A (necessarily, the twist map). The hom-sets (B,B) and (C,C) each have a single element (necessarily their identity maps). The hom-sets (B,A), (C,A,) and (C,B) are empty. The hom-sets (A,A), (A,B), (A,C) and (B,C) each have two maps, to wit, the two possible one-to-one onto maps. Note that all maps are monic. A has no proper subobjects. B has only one (the two monics from A to B name the same subject of B). C has three proper subobjects one of which is named by each of the two maps from A to C. Each of the other two subobjects of C are named by one of the two maps from B to C (since B has no non-trivial automorphisms they necessarily name different subobjects). Hence, of the four proper subobjects in this category, two of them have just one name, the other two each have two names. No matter how one chooses a choice of "inclusion map" in the latter cases, that is no matter how one chooses a map A -> B and a map A -> C, when you compose the chosen A -> B with each of the two maps from B to C you will get both names for the single proper subobject named by each of the two maps from A to C. They can't both be the chosen map in (A,C). [For admin and other information see: http://www.mta.ca/~cat-dist/ ]