Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The decategorification of an essentially small category $\mathcal C$ is the set $\lvert\mathcal C\rvert$ of isomorphism classes of $\mathcal C$.

If $\mathcal C$ carries additional structure, then so does $\lvert\mathcal C\rvert$. For example, the decategorification of a braided monoidal category is a commutative monoid.

Side Question 1: Is there more we can say about the commutative monoid $\lvert\mathcal C\rvert$ in the above example? Are there any general properties, or does every commutative monoid arise as $\lvert\mathcal C\rvert$ for some braided monoidal category $\mathcal C$?

Let $\mathcal T$ be a triangulated category. Then, by the above example, $\lvert\mathcal T\rvert$ is certainly a commutative monoid with respect to direct sum. This only uses the additive structure on $\mathcal T$, of course.

Main Question: How can we describe the additional structure on the commutative monoid $\lvert\mathcal T\rvert$ induced by the triangulated structure on $\mathcal T$?

Side Question 2: If $\mathcal A$ is an Abelian category, which additional properties does the commutative monoid $\lvert\mathcal A\rvert$ have?

share|improve this question
Translation should be some suitable of automorphism of monoid, isn't it? –  tetrapharmakon Nov 14 '11 at 13:35
@tetrapharmakon: I suppose so, yes. –  Rasmus Nov 14 '11 at 23:34
In fact I'm not answering your question but maybe you'll find it a good startpoit: sometimes you are interested in the Grothendieck group of the commutative monoid $|\cal T|$. –  tetrapharmakon Nov 15 '11 at 15:37
@tetrapharmakon: Thanks for the reference. As is also described here, before taking the Grothendieck group, one divides out a set of relations coming from the distinguished triangles. These relations or probably the inherited structure on the monoid $\lvert\mathcal T\rvert$ I was looking for. –  Rasmus Nov 15 '11 at 16:24
Q1: Consider discrete monoidal categories. –  Martin Brandenburg Feb 3 '13 at 0:52

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.