3 problems

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

Let $T$ be a monad on $\operatorname{Set}$ and let $\mathcal{V}$ be a quantale. Write $T\mathcal{V}\operatorname{Prof}$ for the locally thin bicategory associated with…

Let $\mathcal{V}$ be a presentable, closed monoidal $\infty$-category. Write $\operatorname{Cat}^{\mathcal{V}}$ for the $\infty$-category of $\mathcal{V}$-enriched categories and…