4 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, whose tensor product is … Pointed bimodular profunctors are the 2-cells in the tric…

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…

Let ${\rm Tens}$ be the tricategory of tensor categories, bimodule categories, bimodule functors, and bimodule natural transformations. Let $2CAT_{nwk}$ be the Gray 3-category whos…