2
votes
1answer
74 views

Proving that tensor distributes over biproduct in an additive monoidal category

I'm trying to prove that the tensor product distributes over biproducts in an additive monoidal category; namely that given objects $A,B,C$, we have $A \otimes (B \oplus C) \cong (A \otimes B) \oplus ...
5
votes
1answer
129 views

Grothendieck group of a symmetric monoidal category is a lambda ring?

I understand that taking the Grothendieck group of a braided monoidal (abelian) category gives us a commutative ring and that taking that of a symmetric monoidal (abelian) category gives us a ...
2
votes
1answer
98 views

Is there a categorical construction of the general linear group?

This question is related to the answer of Qiaochu in this one. Since the object $X=\mathbb{F}_2^2$ generates the category of vector spaces of dimension $2^n$ over $\mathbb{F}_2$, and since we know ...
2
votes
0answers
76 views

Thompson's group F and monoidal categories

Fiore and Leinster have proved that if $\mathcal{A}$ is a free monoidal category generated by one object $A$ such that there exists an isomorphism $\alpha: A \otimes A \to A$, then for every object $X ...