Feedback, trace and fixed-point semantics
P. Katis, Nicoletta Sabadini, Robert F.C. Walters (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
We introduce a notion of category with feedback-with-delay, closely related to the notion of traced monoidal category, and show that the Circ construction of [15] is the free category with feedback on a symmetric monoidal category. Combining with the Int construction of Joyal [12] we obtain a description of the free compact closed category on a symmetric monoidal category. We thus obtain a categorical analogue of the classical localization of a ring with respect to a multiplicative...