monoidal category in which every morphism is invertible and every object has a weak inverse; categorification of the notion of a group
