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