Consider a compact closed category, i.e., a symmetric monoidal category with a unit $\eta$ and co-unit $\epsilon$. It seems natural to demand that the tensor product of two units (for different objects) is a unit again (for the tensor product of the objects). That is, we have an equality between the morphisms
$$
1\xrightarrow{\simeq}
1\otimes 1\xrightarrow{\eta\_A\otimes \eta\_B}
(A^\*\otimes A)\otimes (B^\*\otimes B) \xrightarrow{\simeq}
(A^\*\otimes B^\*)\otimes (A\otimes B)
$$
and
$$
1\xrightarrow{\eta\_{A\otimes B}} (A^\*\otimes B^\*)\otimes (A\otimes B)
$$
$\simeq$ stands for some combination of unitors, associators and braidings, I can spell it out if you insist. The analogous equation should hold for the co-unit.


Can this equation be derived from the axioms for compact closed categories? Or is it somehow trivially implied from the way closed compact categories are defined? If not, is there a name for this property, or is it equivalent to some other known property?


Are there closed compact categories for which this equation doesn't hold? I know that it holds for the compact closed categories of finite vectorspaces, and sets and relations. If I'm trying to define a unit and co-unit for the symmetric monoidal category of super vector spaces, imposing the above equation seems to prevent me from doing that (however, I'm also not sure if super vector spaces can be extended to a compact closed category).



Tensor product of unit and co-unit in a closed compact category
The definition of compact closed category merely says that for every object $A$ there exists an object $A^\star$ and a unit $\eta\_A$ and counit $\varepsilon\_A$ satisfying the snake equations. That is, it is a property, not structure. Since this data is unique up to isomorphism, you can choose different units and counits for different objects as you please, as long as they satisfy the snake equation. If you choose $\eta\_A$ for $A$ and $\eta\_B$ for $B$, then their combination $1 \to (A^\* \otimes B^\*) \otimes (A \otimes B)$ will satisfy the snake equation for $A \otimes B$, and hence you could use it for $\eta\_{A \otimes B}$. See chapter 3 of [Heunen&Vicary](https://global.oup.com/academic/product/categories-for-quantum-theory-9780198739616?cc=nl&lang=en&).


