Any abelian category$C$ gives rise to an abelian group $K(C)$ called its Grothendieck group (see there for more). If we apply this construction to a monoidal abelian category or generally to a rig category, $K(C)$ is a ring, called the Grothendieck ring.