Showing math.CTShow all
2 papers · 1 filter
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…