Definition. Compact closed category [mde-TRJ6]

A compact closed category is a symmetric monoidal category in which every object has a dual, that is, an adjoint in the delooping.

Compact closed categories categorify abelian groups: an abelian group is a discrete compact closed category.