(sigemb-info 386) Talks by Bart Jacobs at RIMS, Kyoto U.

[Ichiro Hasuo <ichiro@xxxxxxxxxxxxxxxxxxxx>]

Dear colleagues,

Let me advertise the second talk by our guest Bart Jacobs at RIMS,
Kyoto University. It is on Thursday this week, on monoidal
traces via coalgebras.  No registration needed, please just show
up. See you there!

Best regards,
Ichiro Hasuo
---
RIMS-CS website
http://www.kurims.kyoto-u.ac.jp/~cs/

============
Bart Jacobs (Radboud Univ. Nijmegen)
Coalgebraic and Monoidal Traces
11.00 - 12.00, Thu 9 Apr 2009
CS Laboratory, RIMS, Kyoto University
(See http://www.kurims.kyoto-u.ac.jp/~cs/lab.html for direction)

It will be shown how coalgebraic traces, in suitable Kleisli
categories, give rise to traced monoidal structure in those
Kleisli categories, with finite coproducts as monoidal
structure. By applying the standard ``Int'' construction one
obtains compact closed categories for ``bidirectional monadic
computation''. This generic construction uses partially additive
structure in suitably ordered Kleisli homsets. It combines
several lines of work in the semantics of computation.