In category theory, compact closed categories are a general context for treating duals of objects, generalizing the familiar concept of the dual of a vector space.
In category theory, compact closed categories are a general context for treating dual objects. The idea of a dual object generalizes the more familiar concept of the dual of a finite-dimensional vector space.