← back to paper
arxiv: 2607.24716 · 2 revisions
Controlled theories, categorification, and homotopification