2 problems

Derived centre conjecture. The functor $\mathbb{R}\operatorname{Center}$ is an idempotent strong monoidal comonad satisfying the Seely isomorphism

Classification conjecture for quantum modalities. There exists a coreflective full subcategory $\mathcal{D}\hookrightarrow\mathcal{C}$ such that $Q\cong r^{*}$ for the coreflector…