1: \begin{abstract}

2: We construct a natural generalization of the Grothendieck group $\mathrm{K}_0$ to the case of possibly unpointed categories admitting pushouts by considering heaps. In particular we are able to reconstruct the classical $\K_0$ 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 $\K_0\left(\underline{\mathrm{Top}}\right)$ one can identify a CW-complex with the iterated product of its cells.

3: 

4: \end{abstract}