Links to Publications 2002
Feedback, trace and fixed point semantics
P. Katis, N. Sabadini, R.F.C. Walters
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 [JPAA 115: 141--178, 1997] is the free category with feedback on a symmetric monoidal category. Combining with the Int construction of Joyal-Street-Verity [Math. Proc. Camb.Phil. Soc., 119, 447-468, 1996] 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 subset. In this context we define a notion of fixed-point semantics of a category with feedback which is seen to include a variety of classical semantics in computer science.
P. Katis, N. Sabadini, R.F.C. Walters
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 [JPAA 115: 141--178, 1997] is the free category with feedback on a symmetric monoidal category. Combining with the Int construction of Joyal-Street-Verity [Math. Proc. Camb.Phil. Soc., 119, 447-468, 1996] 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 subset. In this context we define a notion of fixed-point semantics of a category with feedback which is seen to include a variety of classical semantics in computer science.
posted by Unknown at 10:10 PM
0 Comments:
Post a Comment
<< Home