1 problem

Let $𝕄$ be a monoidal category, and let $𝕄^{\mathrm{Rev}}$ denote its reverse monoidal category, with tensor product … The objects, 1-cells, 2-cells and 3-cells of the tricategory…