ICE-TCS: Sergey Goncharov, Friedrich-Alexander-Universität Erlangen-Nürnberg

Guarded traced categories for recursion and iteration

  • 2.4.2019, 12:10 - 13:00


ICE-TCS seminar #331

Date and time: Tuesday, 2 April 2019, 12:10-13:00
Location: Room M120
Speaker: Sergey Goncharov, Friedrich-Alexander-Universität Erlangen-Nürnberg WWW:

Title: Guarded traced categories for recursion and iteration

Abstract: Abstract guardedness is a unifying mechanism allowing for the 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 concurrent processes and hybrid programs, as well as traces in infinite-dimensional Hilbert spaces. In my talk I will concentrate on (uniform) guarded trace operators in co-Cartesian and Cartesian categories, in particular, those ones that are generated by monads and comonads. I will present recent results on axiomatizing the theory of guarded fixpoints with applications to process algebra in monad-based form where the notion of guardedness originated. 

This is a joint work (in progress) with Lutz Schröder and Paul Levy.

Vinsamlegast athugið að á viðburðum Háskólans í Reykjavík (HR) eru teknar ljósmyndir og myndbönd sem notuð eru í markaðsstarfi HR. Hægt er að nálgast frekari upplýsingar á eða með því að senda tölvupóst á netfangið:
Please note that at events hosted at Reykjavik University (RU), photographs and videos are taken which might be used for RU marketing purposes. Read more about this on our or send an e-mail: