![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Interaction morphisms
Interaction morphismsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Paul Taylor. I will propose interaction morphisms as a means to specify how an effectful computation is to be run, provided a state in a context. An interaction morphism of a monad T and a comonad D is a family of maps T X x D Y -> X x Y natural in X and Y and subject to some equations. Interaction morphisms turn out to be a natural concept with a number of neat properties. In particular, interaction morphisms are the same as monoids in a certain monoidal category; interaction morphisms of T and D are in a bijective correspondence with carrier-preserving functors between the categories of coalgebras of D and stateful runners of T (monad morphisms from T to state monads); they are also in a bijective correspondence with monad morphisms from T to a monad induced in a certain way by D. This is joint work with Shin-ya Katsumata (University of Kyoto). This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsBritGrav 15 Type the title of a new list here Molecular and Medical Physics Seminar SeriesOther talksQuantum simulations using ultra cold ytterbium Sylow branching coefficients for symmetric groups Extending the Lax type operator for finite W-algebras TBC Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Geometry of alternating projections in metric spaces with bounded curvature |