Dear all,
Friday this week we have Tarmo Uustalu from Institute of Cybernetics, Tallinn, Estonia visiting us in U Tokyo and making a talk. No registration needed. See you there!
Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/
________________________________
Fri 4 October 2013, 17:00-18:00
Tarmo Uustalu (Institute of Cybernetics, Tallinn), Update Monads: Cointerpreting Directed Containers
理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html Access: http://www-mmm.is.s.u-tokyo.ac.jp/
We introduce update monads as a generalization of state monads. Update monads are compatible compositions of reader and writer monads given by a set and a monoid. Distributive laws between such monads are given by monoid actions.
We also discuss a dependently typed generalization of update monads. Unlike simple update monads, those cannot be factored into a reader and writer monad.
Dependently typed update monads arise from cointerpreting directed containers, by which we mean interpreting the opposite of the category directed containers into the category of set functors.
(Joint work with Danel Ahman, University of Edinburgh.)