52 citations · 72 across the 12 of their papers we have counts for
Showing math.CTShow all
3 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…
math.CT2021
Composable constraints
Matt Wilson, Augustin Vanrietvelde
We introduce a notion of compatibility between constraint encoding and compositional structure. Phrased in the language of category theory, it is given by a "composable constraint…