TY - RPRT TI - Representability theorem in derived analytic geometry AU - Mauro Porta AU - Tony Yue Yu PY - 2022 UR - https://arxiv.org/abs/1704.01683 ID - 1704.01683 ER -