2 problems

Tricategorical univalence conjecture. The tricategory of univalent weak double categories is univalent.

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…