The compact double category $\mathbf{Int}({\mathbf{Poly}}_{\ast })$ models control flow and data transformations

Grigory Kondyrev, David I. Spivak

Hasegawa showed that control flow in programming languages -- while loops and if-then-else statements -- can be modeled using traced cocartesian categories, such as the category $\…