How cavalier can I be when demanding a category have direct sums? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T23:41:41Z http://mathoverflow.net/feeds/question/15284 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15284/how-cavalier-can-i-be-when-demanding-a-category-have-direct-sums How cavalier can I be when demanding a category have direct sums? Theo Johnson-Freyd 2010-02-14T20:35:44Z 2010-02-15T21:07:23Z <p>In my meaning, a <strong>direct sum</strong> in a category should really be called a "biproduct". If $X,Y$ are objects, then a direct sum $X \oplus Y$ is an object $Z$ along with isomorphisms $\hom(Z,A) = \hom(X,A) \times \hom(Y,A)$ and $\hom(A,Z) = \hom(A,X) \times \hom(A,Y)$ for all objects $A$. A direct sum is unique up to canonical isomorphism if it exists, of course. A category <strong>has (finite) direct sums</strong> if it has a zero object (an object that is both initial and terminal; i.e. "the direct sum of zero things") and if $X\oplus Y$ exists for any objects $X,Y$. If a category has direct sums, then it is naturally enriched in abelian monoids. I believe that an <strong>additive category</strong> is a category with direct sums in which all the hom-sets (which are already abelian monoids) are actually abelian <em>groups</em>.</p> <p>There are many times when people say "include all direct sums". For example:</p> <p><strong>Example:</strong><br> Let $\mathcal C$ be any category (enriched over $\rm SET$). Then I can make it enriched over $\rm ABGP$ by applying the $\rm Free: SET \to ABGP$ functor to each hom-set. So now I have a new catefory ${\rm Free}(\mathcal C)$ in which I can add morphisms. But often I want to add objects, too, so I do something like "take the matrix category" ${\rm Mat}(\mathcal C)$, whose objects are finite sequences of objects in $\mathcal C$ and whose morphism are matrices of morphism in ${\rm Free}(\mathcal C)$. Then it's more or less obvious that ${\rm Mat}(\mathcal C)$ is an additive category. If $\mathcal C$ is freely generated by some (objects and) morphisms, then ${\rm Mat}(\mathcal C)$ is presumably "the free additive category generated by those morphisms".</p> <p>But often I'm not content with free additive categories. For example, I might want to present a category by generators and relations.</p> <blockquote> <p><strong>Question:</strong> Is it clear that when I take the quotient of an additive category by some ideal (as an $\rm ABGP$-enriched category), that it still has direct products?</p> </blockquote> <p>Or perhaps I really want the <em>abelian</em> category presented by generators and relations. Or maybe I just want every idempotent to split, in which case I might take the <a href="http://ncatlab.org/nlab/show/Karoubi+envelope" rel="nofollow">Karoubi envelope</a>.</p> <blockquote> <p><strong>Question:</strong> If I extend my category to split all idempotents, or to include kernels and cokernels, or ..., is it clear that it still has direct products?</p> </blockquote> <p>A very explicit application contained in these constructions is the formation of the exterior tensor product of categories: if $\mathcal B,\mathcal C$ are additive categories, then $\mathcal B \boxtimes \mathcal C$ is the free additive category generated by $\mathcal B \times \mathcal C$ with a bunch of relations.</p> http://mathoverflow.net/questions/15284/how-cavalier-can-i-be-when-demanding-a-category-have-direct-sums/15303#15303 Answer by Mike Shulman for How cavalier can I be when demanding a category have direct sums? Mike Shulman 2010-02-15T02:22:21Z 2010-02-15T02:22:21Z <p>I don't think your definition of direct sum is quite right (even if you add the obviously necessary condition that the isomorphisms be natural). My understanding is that a direct sum / biproduct is an object that is both a product and a coproduct <em>in a compatible way</em>. This is usually phrased by saying that you have coproducts and products, and the unique morphisms $0\to 1$ and $X\sqcup Y \to X\times Y$ are isomorphisms. In terms of your definition, I think this would be equivalent to saying that you have a zero object, and the composite isomorphism $$\hom(Z,Z) \cong \hom(X,X)\times \hom(Y,X)\times \hom(X,Y)\times \hom(Y,Y)$$ relates $1_Z$ to $(1_X,0,0,1_Y)$ (where $0$ is the map factoring through the zero object). It's <a href="http://arxiv.org/abs/0912.2126" rel="nofollow">true</a>, but not (I think) obvious, that if you have products and coproducts and an arbitrary <em>natural</em> family of isomorphisms $X\sqcup Y \cong X\times Y$, then you actually have biproducts. But I don't think this works as a definition for an individual biproduct.</p> <p>As to your actual question, I don't have a complete answer, but one thing to note is that in the world of categories enriched over additive monoids (or groups), direct sums are <em>absolute (co)limits</em>, aka Cauchy (co)limits. That means that they are automatically preserved by any AbMon-enriched functor, and moreover the 2-category of AbMon-enriched categories with direct sums is reflective in the 2-category of all AbMon-enriched categories. Therefore, after performing any "free" or "quotient" or "colimit" construction on AbMon-enriched categories, you can always apply the reflector to add any direct sums that might be missing (and whatever direct sums you might already have had won't be changed). In particular, this provides a construction of an additive category "presented" by any notion of generators and relations: first generate the free AbGp-enriched category, then reflect into additive categories.</p> <p>In general, it's not obvious to me that if you add some additional structure freely (like kernels or cokernels), then apply the above "Cauchy-completion" reflector, that the presence of the new thing you added is preserved by the reflector. But if it isn't, then perhaps some sort of sequential colimit of successive approximations could be performed. Note that of the other constructions you mentioned, splitting of idempotents is also an absolute (co)limit, so it behaves similarly to direct sums, whereas kernels and cokernels are not.</p> <p>However, none of this really answers the question you actually asked, which is whether such "free" constructions in the world of AbGp-enrichment already <em>preserve</em> the presence of direct sums, without the need to Cauchy-complete. I would guess that in general they don't, but I don't have a counterexample.</p> http://mathoverflow.net/questions/15284/how-cavalier-can-i-be-when-demanding-a-category-have-direct-sums/15352#15352 Answer by Bruce Westbury for How cavalier can I be when demanding a category have direct sums? Bruce Westbury 2010-02-15T18:21:01Z 2010-02-15T18:21:01Z <p>My understanding of your question is different to Mike's. I have not come across an example where Hom-sets are abelian monoids but not abelian groups. I'd be interested to see how this arises.</p> <p>I am going to assume your Hom-sets are abelian groups (or modules over a commutative ring) and that composition is bilinear. Then you can add (and subtract) morphisms and you want to add objects. This can be done formally, just form a new category with objects finite lists of objects and morphism are written as matrices. That's it; there is no condition on the Hom-modules.</p> <p>You may also want to do idempotent completion. Then you should first apply the above construction and then take the idempotent completion. This will be both additive and idempotent complete. If you do it the other way around it may not be idempotent complete; intuitively, if $A$ is an algebra $M_n(A)$ can have more idempotents than $n\times n$ diagonal matrices with entries in $A$.</p> http://mathoverflow.net/questions/15284/how-cavalier-can-i-be-when-demanding-a-category-have-direct-sums/15364#15364 Answer by Reid Barton for How cavalier can I be when demanding a category have direct sums? Reid Barton 2010-02-15T21:07:23Z 2010-02-15T21:07:23Z <p>The answer to the first question is yes. If A and B have a direct sum A &oplus; B in C, then there are inclusions i<sub>A</sub> : A &rarr; A &oplus; B, i<sub>B</sub> : B &rarr; A &oplus; B and projections p<sub>A</sub> : A &oplus; B &rarr; A, p<sub>B</sub> : A &oplus; B &rarr; B such that p<sub>A</sub>i<sub>A</sub> = 1, p<sub>B</sub>i<sub>B</sub> = 1, and i<sub>A</sub>p<sub>A</sub> + i<sub>B</sub>p<sub>B</sub> = 1. Conversely, the existence of such maps in an Ab-enriched category make A &oplus; B a direct sum of A and B, even if we do not asssume a priori that A and B have a direct sum. Now if we form the quotient C/I by an ideal I, and two objects A and B with a direct sum A &oplus; B in C, the image of this system of maps presents the image of A &oplus; B as the direct sum of the images of A and B. In short, direct sums are absolute colimits, and as the quotient functor C &rarr; C/I is essentially surjective (indeed, bijective on objects), every pair of objects of C/I inherits a direct sum from C.</p>