Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

ENTCS
2010

favoriteEmaildiscussreport

112views more ENTCS 2010»

From Coalgebraic to Monoidal Traces

13 years 4 months ago

From Coalgebraic to Monoidal Traces

Download www.cs.ru.nl

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".

Bart Jacobs

Real-time Traffic

ENTCS 2010 | Kleisli Categories | Monoidal Structure | Suitable Kleisli Categories |

claim paper

Related Content

» Divisibility Monoids Presentation Word Problem and Rational Languages

» Algebras Versus Coalgebras

» Tile Transition Systems as Structured Coalgebras

» A General Framework for Sound and Complete FloydHoare Logics

» On Recognizable Languages in Divisibility Monoids

» Traces Executions and Schedulers Coalgebraically

» The Uniformity Principle on Traced Monoidal Categories

» Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories

» Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2010
Where	ENTCS
Authors	Bart Jacobs

Comments (0)