Arxiv251109371

“which is used in arXiv:2511.09371 to establish a 6-functor formalism of complex analytic motivic homotopy theory and produce an analytification map that is compatible with the six operations”