TY - RPRT TI - Controlled theories, categorification, and homotopification AU - Johnathon Taylor PY - 2026 UR - https://arxiv.org/abs/2607.24716 ID - 2607.24716 ER -