TY - GEN
T1 - From coalgebraic to monoidal traces
AU - Jacobs, B.P.F.
PY - 2010
Y1 - 2010
N2 - The main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, give rise to traced monoidal structure in those Kleisli categories, with finite coproducts as monoidal structure. At the heart of the matter lie partially additive monads inducing partially additive structure in their Kleisli categories. By applying the standard "Int" construction one obtains compact closed categories for "bidirectional monadic computation".
AB - The main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, give rise to traced monoidal structure in those Kleisli categories, with finite coproducts as monoidal structure. At the heart of the matter lie partially additive monads inducing partially additive structure in their Kleisli categories. By applying the standard "Int" construction one obtains compact closed categories for "bidirectional monadic computation".
U2 - 10.1016/j.entcs.2010.07.017
DO - 10.1016/j.entcs.2010.07.017
M3 - Conference contribution
T3 - Electronic Notes in Theoretical Computer Science
SP - 125
EP - 140
BT - Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010, Paphos, Cyprus, March 26-28, 2010)
ER -