4
$\begingroup$

If a category $\mathcal{C}$ is (symmetric) monoidal closed, is the opposite category $\mathcal{C}^{\text{op}}$ also monoidal closed?

It is not clear to me whether by dualising the natural bijection $$\mathcal{C}(a\otimes b,c)\cong\mathcal{C}(a,[b,c])$$ we get a monoidal closed structure on $\mathcal{C}^{\text{op}}$.

$\endgroup$
0

1 Answer 1

4
$\begingroup$

From either definition of adjunction it follows that $F ⊣ G$ iff $G^{\mathrm{op}} ⊣ F^{\mathrm{op}}$. For a monoidal category to be monoidal closed it is enough that every $- ⊗ B$ be left adjoint. The dual of this is that $- ⊗ B$ is right adjoint. So no, the dual of a monoidal closed category is not itself closed (instead it is "coclosed", although this is not an often used term).

In fact, the dual of a Cartesian closed category is never closed, unless the category is the singleton: see here for a short proof.

$\endgroup$
3
  • 1
    $\begingroup$ Thanks! Regarding your last sentence, is it however possible that the dual of a monoidal closed category is monoidal closed? If yes, are you aware of any conditions on $\mathcal{C}$ that force this to happen? $\endgroup$
    – PeteBazz
    Commented Jul 4, 2016 at 6:31
  • $\begingroup$ @PeteBazz Well it happens for the terminal category, so it's not impossible, although it certainly doesn't happen often. If the dual of $\mathcal C$ is closed, then $\mathcal C$ is coclosed, ie. tensoring is right adjoint, and in particular it preserves limits. So you'd need to find a monoidal category for which tensoring preserves both limits and colimits, and I don't know of any example. $\endgroup$
    – user54748
    Commented Jul 4, 2016 at 8:38
  • $\begingroup$ This answer however is interesting; it describes a coclosed subcategory of a closed category, but I don't know if this subcategory is itself still closed. $\endgroup$
    – user54748
    Commented Jul 4, 2016 at 8:40

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .