2 papers
math.CT2026
Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach
Thea Li, Vladimir Zamdzhiev
We describe a categorical model of MALL (Multiplicative Additive Linear Logic) inspired by the Heisenberg-Schrödinger duality of finite-dimensional quantum theory. Proofs of formul…
math.CT2024
Fibrational Perspectives on Determinization of Finite-State Automata
Thea Li
Colcombet and Petrişan argued that automata may be usefully considered from a functorial perspective, introducing a general notion of "V-automaton" based on functors into V. This e…