4 problems

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 $\mathbb{D}$ be a double category in $\mathbf{FbrCat}^{\mathcal{Q}}$ that is Cartesian, admits Kleisli objects for monads, and has a discrete Kleisli object for every monad. He…

Let $\mathbb{D}$ be a Cartesian and fibrant double category. An object of $\mathbb{D}$ is called discrete when the two pullbacks defining discreteness satisfy the Beck–Chevalley co…