Poly_* is uniform traced, so Int(Poly_*) is a compact double category whose wiring-diagram operad models control flow together with data transformations.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CT 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
Poly_* is uniform traced, so Int(Poly_*) is a compact double category whose wiring-diagram operad models control flow together with data transformations.