On the categorical structure of H2

The categorical structure of H2 is shown to be a particular instance of the cokernel of a morphism between symmetric categorical groups.