(also nonabelian homological algebra)
Any abelian category gives rise to an abelian group called its Grothendieck group (see there for more). If we apply this construction to a monoidal abelian category or generally to a rig category, is a ring, called the Grothendieck ring.
If is a braided monoidal category, becomes a commutative ring.
If is a symmetric monoidal category, becomes a -ring.
Last revised on June 15, 2021 at 05:49:04. See the history of this page for a list of all contributions to it.