| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423997 | Electronic Notes in Theoretical Computer Science | 2010 | 16 Pages |
Abstract
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”.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
