{"id":"arxiv/2602.18701","url":"https://arxiv.org/abs/2602.18701","tags":["quant-ph","cs.LO","math.CT"],"score":0,"title":"Higher-order circuits","domain":"quant-ph","source":"arxiv","authors":["Matt Wilson"],"reviews":0,"subject":"quant-ph","summary":"We write down a series of basic laws for (strict) higher-order circuit diagrams. More precisely, we define higher-order circuit theories in terms of: (a) nesting, (b) temporal and spatial composition, and (c) equivalence between lower-order bipartite processes and higher-order bipartite states. In category-theoretic terms, these laws are expressed using enrichment and cotensors in symmetric polycategories, along with a frobenius-like coherence between them. We describe how these laws capture the salient features of higher-order quantum theory, and discover an upper bound for higher-order…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-02-21","reactions":{}}