# nLab reverse category

Contents

### Context

#### Monoidal categories

monoidal categories

# Contents

## Definition

The reverse category of a monoidal category, $\mathcal{C}$, has the same underlying category and unit as $\mathcal{C}$ but reversed monoidal product, $X \otimes^{rev} Y = Y \otimes X$, and similarly for morphisms. The associator in the reverse category is $\alpha^{rev}_{X,Y,Z} = \alpha^{-1}_{Z,Y,X}$.

Last revised on July 30, 2020 at 10:13:46. See the history of this page for a list of all contributions to it.