Special kind of category with "dual objects"
In category theory, a branch of mathematics, 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. So, the motivating example of a compact closed category is FdVect, the category having finite-dimensional vector spaces as objects and linear maps as morphisms, with tensor product as the monoidal structure. Another example is Rel, the category having sets as objects and relations as morphisms, with Cartesian monoidal structure.
Symmetric compact closed category
[edit]
A symmetric monoidal category
is compact closed if every object
has a dual object. If this holds, the dual object is unique up to canonical isomorphism, and is denoted
.
In a bit more detail, an object
is called the dual of
if it is equipped with two morphisms called the unit
and the counit
, satisfying the equations
![{\displaystyle \lambda _{A}\circ (\varepsilon _{A}\otimes A)\circ \alpha _{A,A^{*},A}^{-1}\circ (A\otimes \eta _{A})\circ \rho _{A}^{-1}=\mathrm {id} _{A}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33d6de748856fa9be8059095885e6b2051e79213)
and
![{\displaystyle \rho _{A^{*}}\circ (A^{*}\otimes \varepsilon _{A})\circ \alpha _{A^{*},A,A^{*}}\circ (\eta _{A}\otimes A^{*})\circ \lambda _{A^{*}}^{-1}=\mathrm {id} _{A^{*}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e429c6ea95c47840eb437037bd86ba35995080f)
where
are the introduction of the unit on the left and right, respectively, and
is the associator.
For clarity, we rewrite the above compositions diagrammatically. In order for
to be compact closed, we need the following composites to equal
:
![{\displaystyle A{\xrightarrow {\cong }}A\otimes I{\xrightarrow {A\otimes \eta }}A\otimes (A^{*}\otimes A){\xrightarrow {\cong }}(A\otimes A^{*})\otimes A{\xrightarrow {\epsilon \otimes A}}I\otimes A{\xrightarrow {\cong }}A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f3380ec7883d1dda7e18f8eebc7f90d4c770b77)
and
:
![{\displaystyle A^{*}{\xrightarrow {\cong }}I\otimes A^{*}{\xrightarrow {\eta \otimes A^{*}}}(A^{*}\otimes A)\otimes A^{*}{\xrightarrow {\cong }}A^{*}\otimes (A\otimes A^{*}){\xrightarrow {A^{*}\otimes \epsilon }}A^{*}\otimes I{\xrightarrow {\cong }}A^{*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f18347fe317043b66bb64378b0ea38cba0f7c42c)
More generally, suppose
is a monoidal category, not necessarily symmetric, such as in the case of a pregroup grammar. The above notion of having a dual
for each object A is replaced by that of having both a left and a right adjoint,
and
, with a corresponding left unit
, right unit
, left counit
, and right counit
. These must satisfy the four yanking conditions, each of which are identities:
![{\displaystyle A\to A\otimes I{\xrightarrow {\eta ^{r}}}A\otimes (A^{r}\otimes A)\to (A\otimes A^{r})\otimes A{\xrightarrow {\epsilon ^{r}}}I\otimes A\to A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b277bd521581aaa1dfe59e70102442b8a6d44c1)
![{\displaystyle A\to I\otimes A{\xrightarrow {\eta ^{l}}}(A\otimes A^{l})\otimes A\to A\otimes (A^{l}\otimes A){\xrightarrow {\epsilon ^{l}}}A\otimes I\to A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f8af10563f6c7012bb491d3837d29207fe7272a)
and
![{\displaystyle A^{r}\to I\otimes A^{r}{\xrightarrow {\eta ^{r}}}(A^{r}\otimes A)\otimes A^{r}\to A^{r}\otimes (A\otimes A^{r}){\xrightarrow {\epsilon ^{r}}}A^{r}\otimes I\to A^{r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55023417f6dc548d235d6d2ecdff5224b8327440)
![{\displaystyle A^{l}\to A^{l}\otimes I{\xrightarrow {\eta ^{l}}}A^{l}\otimes (A\otimes A^{l})\to (A^{l}\otimes A)\otimes A^{l}{\xrightarrow {\epsilon ^{l}}}I\otimes A^{l}\to A^{l}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/784abd45a8ee37c813a25219234fedb71a52ac2a)
That is, in the general case, a compact closed category is both left and right-rigid, and biclosed.
Non-symmetric compact closed categories find applications in linguistics, in the area of categorial grammars and specifically in pregroup grammars, where the distinct left and right adjoints are required to capture word-order in sentences. In this context, compact closed monoidal categories are called (Lambek) pregroups.
Compact closed categories are a special case of monoidal closed categories, which in turn are a special case of closed categories.
Compact closed categories are precisely the symmetric autonomous categories. They are also *-autonomous.
Every compact closed category C admits a trace. Namely, for every morphism
, one can define
![{\displaystyle \mathrm {Tr_{A,B}^{C}} (f)=\rho _{B}\circ (id_{B}\otimes \varepsilon _{C})\circ \alpha _{B,C,C^{*}}\circ (f\otimes C^{*})\circ \alpha _{A,C,C^{*}}^{-1}\circ (id_{A}\otimes \eta _{C^{*}})\circ \rho _{A}^{-1}:A\to B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b730271345ae8f8b3813a95d099aa0804eccfc0e)
which can be shown to be a proper trace. It helps to draw this diagrammatically:
The canonical example is the category FdVect with finite-dimensional vector spaces as objects and linear maps as morphisms. Here
is the usual dual of the vector space
.
The category of finite-dimensional representations of any group is also compact closed.
The category Vect, with all vector spaces as objects and linear maps as morphisms, is not compact closed; it is symmetric monoidal closed.
The simplex category can be used to construct an example of non-symmetric compact closed category. The simplex category is the category of non-zero finite ordinals (viewed as totally ordered sets); its morphisms are order-preserving (monotone) maps. We make it into a monoidal category by moving to the arrow category, so the objects are morphisms of the original category, and the morphisms are commuting squares. Then the tensor product of the arrow category is the original composition operator. The left and right adjoints are the min and max operators; specifically, for a monotone map f one has the right adjoint
![{\displaystyle f^{r}(n)=\sup\{m\in \mathbb {N} \mid f(m)\leq n\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4139580f2519799f7c7ceb4c623c1ad859c26248)
and the left adjoint
![{\displaystyle f^{l}(n)=\inf\{m\in \mathbb {N} \mid n\leq f(m)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62f226b00bc18892dd7893c27697d9ddbdb221ad)
The left and right units and counits are:
![{\displaystyle {\mbox{id}}\leq f\circ f^{l}\qquad {\mbox{(left unit)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78f693d7e2320f1956dd6ac9f8f1737ce7bbecee)
![{\displaystyle \,{\mbox{id}}\leq f^{r}\circ f\quad \ \ \ {\mbox{(right unit)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d6f4ce995b5e3802712c5187b4383c27aba434e)
![{\displaystyle f^{l}\circ f\leq {\mbox{id}}\qquad {\mbox{(left counit)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/360e204372ae33885d3c40804521b207bbe26790)
![{\displaystyle f\circ f^{r}\leq {\mbox{id}}\qquad {\mbox{(right counit)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c16d73a29f4b0cff3d398827e745a216308497f3)
One of the yanking conditions is then
![{\displaystyle f=f\circ {\mbox{id}}\leq f\circ (f^{r}\circ f)=(f\circ f^{r})\circ f\leq {\mbox{id}}\circ f=f.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74ee7fc641b589f1dea4fa4184202cc01da3bf97)
The others follow similarly. The correspondence can be made clearer by writing the arrow
instead of
, and using
for function composition
.
Dagger compact category
[edit]
A dagger symmetric monoidal category which is compact closed is a dagger compact category.
A monoidal category that is not symmetric, but otherwise obeys the duality axioms above, is known as a rigid category. A monoidal category where every object has a left (resp. right) dual is also sometimes called a left (resp. right) autonomous category. A monoidal category where every object has both a left and a right dual is sometimes called an autonomous category. An autonomous category that is also symmetric is then a compact closed category.
Kelly, G.M.; Laplaza, M.L. (1980). "Coherence for compact closed categories". Journal of Pure and Applied Algebra. 19: 193–213. doi:10.1016/0022-4049(80)90101-2.