TY - RPRT TI - Derived Lie $\infty$-groupoids and algebroids in higher differential geometry AU - Qingyun Zeng PY - 2025 UR - https://arxiv.org/abs/2210.05856 ID - 2210.05856 ER -