TY - RPRT TI - Group completion via the action $\infty$-category AU - Georg Lehner PY - 2026 UR - https://arxiv.org/abs/2405.12118 ID - 2405.12118 ER -