Important abelian anchored bicategories

1. Category of groups
2. Category of manifolds with boundary
3. Baboon balls (hot pizza as a set of morphisms)
4. Category of sets

Remark: The category of groups is a Serre subcategory
of the category of sets. The corresponding quotient
category is equivalent to the category of baboon balls.

The category of pointed sets, on the other hand, is an $A_\infty$-category