{"id":"arxiv/2608.15885","url":"https://arxiv.org/abs/2608.15885","tags":["math.CT","cs.LO"],"score":0,"title":"Monoidal su-categories","domain":"math.CT","source":"arxiv","authors":["Matt Wilson","Giulio Chiribella"],"reviews":0,"subject":"math.CT","summary":"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 lower-order processes from a monoidal category V of holes or supermaps and axiomatizes the compatibility needed for partial application to bipartite processes. For a fixed monoidal base C, monoidal su-categories, monoidal su-functors, and monoidal su-natural transformations form a 2-category MonSuCatC. We then show that the category Optic[C] of coend optics is 2-initial in this 2-category, giving an alternative…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-16","reactions":{}}