From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8338 Path: news.gmane.org!not-for-mail From: Jason Erbele Newsgroups: gmane.science.mathematics.categories Subject: Re: Reference search: new categories by replacing morphisms with diagrams Date: Wed, 24 Sep 2014 11:49:09 -0700 Message-ID: References: Reply-To: Jason Erbele NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1411669972 30461 80.91.229.3 (25 Sep 2014 18:32:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 25 Sep 2014 18:32:52 +0000 (UTC) To: Tom Hirschowitz , "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Thu Sep 25 20:32:46 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XXDqQ-0006yO-42 for gsmc-categories@m.gmane.org; Thu, 25 Sep 2014 20:32:46 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:48865) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XXDpv-0001tt-81; Thu, 25 Sep 2014 15:32:15 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XXDpu-000263-J6 for categories-list@mlist.mta.ca; Thu, 25 Sep 2014 15:32:14 -0300 In-Reply-To: <87iokdf9u7.fsf@hirscho.lama.univ-savoie.fr> Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8338 Archived-At: Ah, it figures I would leave something out in my first post here. My apologies to all of you that were scratching your heads over the missing rules for composition. At least five of you have responded with essentially the same question, so this will be sort of a blanket response. Composition of (f,g,h): A --> B through X and (f',g',h'): B --> C through Y will go through the biproduct X (+) Y with (f'f, [f'g, g'], [h, h'(f+gh)]^T): A --> C. That is, the first component composes in the usual way, the second component is a row matrix, and the third component is a column matrix. In the original category, the various morphisms in the composed triple correspond to A --> B --> C, directly; X --> B --> C and Y --> C; and A --> X and A --> B --> Y, where this A --> B is f+gh rather than f. Identity morphisms in the new category are those with f=id and the zero object for X, which uniquely determines g and h. The embedding I mentioned of the original category into the new category is a functor, after all. Best, Jason On Wednesday, September 24, 2014, Tom Hirschowitz wrote: > > > Dear Jason, > > How do your triples compose? > > Best, > Tom > > Jason Erbele writes: > >> Dear all, >> >> I built a category from another category by keeping "the same" objects >> and taking the morphisms to be diagrams from the old category that >> satisfy certain properties. The closest thing to what I'm doing that >> I have been able to find is factorization systems, but there are some >> major differences. >> >> To be more specific, I am starting with an Abelian category. If there >> are morphisms f: A --> B, g: X --> B, and h: A --> X, it makes sense >> to talk about the morphism f+gh: A --> B, which can be represented >> with a non-commutative triangle. I don't know how to draw that in >> plain text, so I will depict it as the ordered triple (f,g,h). The >> category I built takes this type of non-commutative triangle as a >> morphism (f,g,h): A --> B. >> >> That is, the new category is storing extra information in the >> morphisms by distinguishing between the part that goes directly from A >> to B and the part that takes a detour through an intermediate object, >> X. So while it may be possible for f+gh = f'+g'h' in the original >> category, (f,g,h) and (f',g',h') would be different morphisms in the >> new category unless f=f', g=g', and h=h'. One nice feature of this >> construction is the original category can be embedded in the new >> category by taking X to be the zero object. >> >> The people I have shown this to have told me they have never seen >> anything like my construction. I am at a loss for search terms -- >> everything I have tried either turns up nothing or thousands of >> unrelated articles. The closest I've found is factorization systems, >> which involve a commutative triangle, f=gh, for some g and h with >> certain properties. >> >> If any of you know a reference or keyword associated with expanding a >> category by replacing the morphisms with diagrams (with a specified >> property/shape), I would greatly appreciate the assistance. >> >> Sincerely, >> Jason Erbele >> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]