{"id":"arxiv/2607.24716","url":"https://arxiv.org/abs/2607.24716","tags":["math.CT"],"score":0,"title":"Controlled theories, categorification, and homotopification","domain":"math.CT","source":"arxiv","authors":["Johnathon Taylor"],"reviews":0,"subject":"math.CT","summary":"In this paper, we introduce the notion of a controlled theory, originally developed in the author's thesis, as a structural tool for the study of higher categorical algebra. We define a notion of deformation for pros and controlled theories in a cartesian closed category. Furthermore, we show that deformations of controlled theories naturally produce Lawvere theories enriched over the same base category. We construct functorial one-dimensional categorifications and homotopifications of controlled theories, yielding Lawvere $2$-theories and Lawvere theories enriched in simplicial sets,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}