5 problems

Cartesian multicategories as retromodels. The category of cartesian models is the category of retromodels of $\ifstrequal{S}{1}{\mathds{1}}{\mathbb{S}}^\mathrm{op}$ in…

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

Enriched profunctor conjecture. (Enriched) categories, (enriched) functors and (enriched) profunctors assemble into a univalent weak double category, but not into a univalent doubl…

Embedding conjecture. There is a fully faithful embedding of weak double categories into Verity's double bicategories with essential image given by double bicategories in which the…

Let $\mathbb{A}$ be a distributive monoidal category. Write \mathbf{V}\,{}^\ulcorner_\llcorner\!{\mathbb{A}}\!_\lrcorner^\urcorner^\oplus and…