3 papers
math.CT2026
Monoidal su-categories
Matt Wilson, Giulio Chiribella
We introduce monoidal su-categories, an abstract categorical notion of single-input higher-order process over a monoidal category. The definition separates a base category C of low…
math.CT2026
Categories of tagged lenses
Matt Wilson
To better understand the landscape of well-behavedness laws for lenses on strict Cartesian symmetric monoidal categories, we define tagged lenses. We prove that tagged lenses form…
quant-ph2026
Higher-Order Quantum Objects are Strong Profunctors
Matt Wilson, James Hefford
We explore the sense in which the existing constructions for higher-order maps on quantum theory based on causality constraints and compositionality constraints respectively, coinc…