TY - RPRT TI - Homotopy coherent Gysin functoriality AU - Frédéric Déglise AU - Niels Feld AU - Fangzhou Jin PY - 2026 UR - https://arxiv.org/abs/2605.01855 ID - 2605.01855 ER -