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 Set_…