University of Birmingham > Talks@bham > Theoretical computer science seminar > Towards Coherence for Guarded Traces

## Towards Coherence for Guarded TracesAdd to your list(s) Download to your calendar using vCal - Sergey Goncharov, FAU Erlangen-Nürnberg
- Monday 07 January 2019, 11:00-12:00
- Computer Science, room 245.
If you have a question about this talk, please contact Paul Levy. [Note unusual date and location.] Abstract guardedness is a unifying mechanism allowing for identification of the equational theory of partial trace operators in (symmetric) monoidal categories in a compositional way. Examples include classical total iteration and recursion, partial recursion in categories of pre-domains and complete metric spaces, partial iteration in categories for modeling concurent processes and hybrid programs, as well as traces of infinite-dimentional Hilbert spaces. A salient feature of guarded traces is that they can be thought of both in a structural and in a geometric way. A precise connection between these two complementing views amounts to formulating and proving a suitable coherence theorem, which cannot really be done on the level of guarded traced monoidal categories. Here, I present an approach to coherence based on guarded traced colored props, providing a necessary level of abstraction and a more direct connection to conventional graphical languages of string diagrams. This is a joint work (in progress) with Lutz Schröder and Paul Levy. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Science, room 245
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here Mathematical Finance Seminar Applied Mathematics Seminar Series## Other talks[Colloquium:] Aperture Fever: The Extremely Large Telescope TBC Theory: This is moved to next year, 2023 ! Advancing biomedical photoacoustic imaging using structured light and optical microresonators Solar Physics: more to come ! Hidden Markov Model in Multiple Testing on Dependent Data |