* Question on choosing subobjects consistently @ 2010-08-26 22:09 Michael Barr 2010-08-28 10:10 ` John Kennison 0 siblings, 1 reply; 5+ messages in thread From: Michael Barr @ 2010-08-26 22:09 UTC (permalink / raw) To: Categories list In his Tohoku paper, Grothendieck asserted with no proof that in any category it is possible to choose subobjects for each object so that each monomorphism is isomorphic to a unique subobject of the codomain and in such a way that a subobject of a subobject of an object is also one of the chosen subobjects of the original objects. Maybe I am being dense, but I don't see how this is always possible. Does anyone on the list? I also don't see what possible value there is in making such a choice, but this doubtless was not clear in 1957. The translation (and revision) is coming along fine and I expect to release it within a month. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ] ^ permalink raw reply [flat|nested] 5+ messages in thread
* RE: Question on choosing subobjects consistently 2010-08-26 22:09 Question on choosing subobjects consistently Michael Barr @ 2010-08-28 10:10 ` John Kennison 0 siblings, 0 replies; 5+ messages in thread From: John Kennison @ 2010-08-28 10:10 UTC (permalink / raw) To: Michael Barr, Categories list When Grothendieck says to "choose sub objects" what does he mean since a subobjrcts is an equivalence class of monos? If he means to choose monos into each object such that each subobject is represented by a unique chosen mono and a composition of two chosen monos is again a chosen mono, then this is false as there are counter examples. There can be thre objects A B C such that there are two nonequivalent monos from B to C and a mono from A to B such that when you compse the mono from A to B with the monos from B to C you get equivalent monos tom A to C representing the same sub object of C. ________________________________________ From: Michael Barr [barr@math.mcgill.ca] Sent: Thursday, August 26, 2010 6:09 PM To: Categories list Subject: categories: Question on choosing subobjects consistently In his Tohoku paper, Grothendieck asserted with no proof that in any category it is possible to choose subobjects for each object so that each monomorphism is isomorphic to a unique subobject of the codomain and in such a way that a subobject of a subobject of an object is also one of the chosen subobjects of the original objects. Maybe I am being dense, but I don't see how this is always possible. Does anyone on the list? I also don't see what possible value there is in making such a choice, but this doubtless was not clear in 1957. The translation (and revision) is coming along fine and I expect to release it within a month. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ] [For admin and other information see: http://www.mta.ca/~cat-dist/ ] ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Question on choosing subobjects consistently @ 2010-08-28 12:24 Peter Freyd 2010-08-28 14:35 ` John Kennison 0 siblings, 1 reply; 5+ messages in thread From: Peter Freyd @ 2010-08-28 12:24 UTC (permalink / raw) To: categories 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/ ] ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Question on choosing subobjects consistently 2010-08-28 12:24 Peter Freyd @ 2010-08-28 14:35 ` John Kennison 2010-08-29 13:32 ` Michael Barr 0 siblings, 1 reply; 5+ messages in thread From: John Kennison @ 2010-08-28 14:35 UTC (permalink / raw) To: Peter Freyd, categories Peter just said it better, but to clarify what I said: First, it is possible that Grothendieck intended the following: as usual, say that two monos are equivalent if they have the same codomain with an isomorphism between their domains which commutes with the two monos. Choose exactly one mono from each equivalence class and call it a canonical mono. Then define a subobject as a canonical mono and a subobject of a subobject as the canonical mono equivalent to the composition. Secondly, it is not always possible to define a class of canonical monos (as above) which is closed under composition. Consider the category with 3 objects, A,B,C, in which every hom set. Hom(X,Y) is a subset of the group Z_2 with two elements. Let Hom(A,A) =Hom(A,B)=Hom(A,C)=Hom(B,C)=Z_2. Let Hom(B,A) and Hom(C,B) be empty and let Hom(B,B) and Hom(C,C) each consist of just the identity of Z_2. All compositions will be given by the group operation. Then there are two non-equivalent monos from B to C, so they must both be canonical. The two monos from A to B are equivalent, so only one of them can be canonical. But the compositions of this canonical mono with each of the two canonical monos from B to C give us two canonical monos from A to C but they are equivalent. ________________________________________ From: Peter Freyd [pjf@seas.upenn.edu] Sent: Saturday, August 28, 2010 8:24 AM To: categories@mta.ca Subject: categories: Re: Question on choosing subobjects consistently 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/ ] ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Question on choosing subobjects consistently 2010-08-28 14:35 ` John Kennison @ 2010-08-29 13:32 ` Michael Barr 0 siblings, 0 replies; 5+ messages in thread From: Michael Barr @ 2010-08-29 13:32 UTC (permalink / raw) To: John Kennison; +Cc: Peter Freyd, categories Here is what Grothendieck actually said (in our translation): "Thus a subobject of $A$ is not simply an object of \C, but an object $B$, together with a monomorphism $u:B\to A$ called the \emph{canonical injection} of $B$ into $A$. (Nonetheless, by abuse of language, we will often designate a subobject of $A$ by the name $B$ of the corresponding object of \C.) The containment relation defines an \emph{order} relation (not merely a preorder relation) on the class of subobjects of $A$. It follows from the above that the subobjects of $A$ that are contained in a subobject $B$ are identified with the subobjects of $B$, this correspondence respecting the natural order." It all depends on what he meant by "are identified with". Maybe I am making too much of this. He regularly uses "=" for isomorphism (which I have mostly changed in the translation). Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ] ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2010-08-29 13:32 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2010-08-26 22:09 Question on choosing subobjects consistently Michael Barr 2010-08-28 10:10 ` John Kennison 2010-08-28 12:24 Peter Freyd 2010-08-28 14:35 ` John Kennison 2010-08-29 13:32 ` Michael Barr
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).