{"id":"arxiv/2601.07807","url":"https://arxiv.org/abs/2601.07807","tags":["math.CT","math-ph","math.OA"],"score":0,"title":"Double Categorical Approaches to AQFT I: Axiomatic Setup","domain":"math.CT","source":"arxiv","authors":["Khyathi Komalan"],"reviews":0,"subject":"math.CT","summary":"In operator-algebraic AQFT one routinely moves back and forth between two kinds of structure: inclusions of local algebras coming from inclusions of regions, and bimodules/intertwiners that implement the standard $L^2$-based constructions used to compare and compose observables. The obstruction to making this interplay genuinely functorial is that there are two independent compositions (restriction along inclusions and fusion/transport along bimodules) and they must be compatible on commuting spacetime diagrams, which is exactly the situation a double category is designed to encode. Part I…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-12","reactions":{}}