You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tim Hosgood (Mar 16 2021 at 18:32):Tuesday, 21:00 UTC
Tim Hosgood (Mar 16 2021 at 18:33):Abstract:
This two-part talk is a tutorial on the use of coalgebraic techniques to model and reason about state-based dynamical systems.
The first part will introduce the basic concept of an F-coalgebra for an endofunctor F, and the derived notions of morphism, bisimulation, behavioural equivalence and coinduction. We will see examples where F is a polynomial functor as well as examples where F is a composition of a polynomial functor and a monad in order to model systems with, e.g., nondeterministic or probabilistic transitions.
The second part will be an introduction to coalgebraic modal logic, which is a framework for developing adequate and expressive modal logics for specifying properties of system behaviours. We will see that many results can be proved and studied parametric in the functor F. Time permitting, I will discuss some recent work on generalisations of the notion of coalgebraic bisimulation.
Tim Hosgood (Mar 16 2021 at 21:01):this is about to start now!