The compact double category Int(Poly*) models control flow and data transformations. - Grigory Kondyrev; David I. Spivak (CoRR, 2025)