[alg] [cat.theory]

Given an additive category we can form the Grothendieck group . If further is a tensor category then is also a ring, the Grothendieck ring.

If is semisimple then any equality in corresponds to an isomorphism in .

Advertisements