Key points are not available for this paper at this time.
We construct a natural generalization of the Grothendieck group Formula: see text to the case of possibly unpointed categories admitting pushouts by using the concept of heaps recently introduced by Brezinzki. In case of a monoidal category, the defined K0 is shown to be a truss. It is shown that the construction generalizes the classical Formula: see text of an abelian category as the group retract along the isomorphism class of the zero object. We finish by applying this construction to construct the integers with addition and multiplication as the decategorification of finite sets and show that in this Formula: see text one can identify a CW-complex with the iterated product of its cells.
Felix Küng (Thu,) studied this question.