The analytic structure conjecture for the left adjoint to the underlying algebra functor
Analytic structure conjecture. For every such O\mathcal OO, the unit O→Ψ‾(O)alg\mathcal O \to \overline{\Psi}(\mathcal O)^{\mathrm{alg}}O→Ψ(O)alg has this universal analytification property. This g…