From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7131 Path: news.gmane.org!not-for-mail From: "George Janelidze" Newsgroups: gmane.science.mathematics.categories Subject: Re: Name for not-quite-additive categories Date: Sat, 7 Jan 2012 04:02:20 +0200 Message-ID: References: Reply-To: "George Janelidze" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain;format=flowed;charset="iso-8859-1";reply-type=response Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1325945610 27164 80.91.229.12 (7 Jan 2012 14:13:30 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 7 Jan 2012 14:13:30 +0000 (UTC) To: "Michael Barr" , "Categories list" Original-X-From: majordomo@mlist.mta.ca Sat Jan 07 15:13:26 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RjX1R-0005Mz-Lf for gsmc-categories@m.gmane.org; Sat, 07 Jan 2012 15:13:25 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:40740) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1RjX09-0002gJ-Gv; Sat, 07 Jan 2012 10:12:05 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1RjX09-000750-91 for categories-list@mlist.mta.ca; Sat, 07 Jan 2012 10:12:05 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7131 Archived-At: Everything I say below is known, old, and contains no results that are mine. In fact it goes back to Mac Lane's "Duality for Groups", even though not everything is explicit there. So, I omitted proofs - but I shall gladly recall any of them if anyone is interested. 1. Let us call a category pointed if it is enriched in POINTED SETS. Such an enrichment is unique if it exists - even if the category does not have initial (=terminal) object. 2. When C is pointed, for every two objects X and Y in C, we can obviously define the canonical morphism I : X+Y --> XxY from the coproduct X+Y to the product XxY (assuming or not that + and x are "chosen"). When C has binary products and binary coproducts we say that they coincide if all such canonical morphisms are isomorphisms. 3. The following conditions on a pointed category C are equivalent: (a) C has binary products and binary coproducts (let us assume "not chosen"), and they coincide; (b) C has binary products and, for every product diagram X <--p-- Z --q--> Y, there exist morphisms i : X --> Z and j : Y --> Z forming a coproduct diagram and satisfying the equalities pi = 1, qj = 1, pj = 0, qi = 0. (c) C has binary products and admits an enrichment in COMMUTATIVE MONOIDS. (d) C has binary products and admits a unique enrichment in COMMUTATIVE MONOIDS. (e) C admits an enrichment in COMMUTATIVE MONOIDS and, for every two objects X and Y in C, there exist a diagram of the form X <--p-- Z --q--> Y --i--> <--j-- with pi = 1, qj = 1, pj = 0, qi = 0, and ip+jq = 1. (One can also add the conditions dual to (b)-(d), require uniqueness of the enrichment in (e), and deduce associativity and commutativity of the "hom-unitary-magmas" from other axioms of course). As I understand, the question is, how to call a pointed category with finite products satisfying the equivalent conditions (a)-(e) above. For instance Freyd and Scedrov call it "half-additive" in their book, and I don't know any better name. George -------------------------------------------------- From: "Michael Barr" Sent: Friday, January 06, 2012 9:04 PM To: "Categories list" Subject: categories: Name for not-quite-additive categories > Has anyone settled on a term to describe categories (such as commutative > monoids) in which finite sums and products coincide but are not quite > additive? I guess they are commutative monoid enriched. > > Michael > > -- > Any society that would give up a little liberty to gain a little > security will deserve neither and lose both. > > Benjamin Franklin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]