Webpage of the Compositional Systems and Methods group at TalTech.

27 August 2020, 14:00, online


Fabrizio Romano Genovese, Statebox


Sigma nets and Yoneda hacking - Running tests over a nice compromise


This talk summarizes two papers I am currently working on. First, I will introduce Sigma-nets (joint work with Baez, Master, Shulman), which are a new flavor of Petri nets that generalizes nets, pre-nets, whole grain nets and makes some order in the whole "Petri nets are in adjoint correspondence with monoidal categories" business. Then I will talk about systems theory, and of how we can interpret the Yoneda lemma as a way to draw conclusions from the outcome of some tests (joint work with Bakirtzis). This second part is a half mess that works well for engineers, and I'd very much appreciate your help to make it more formally satisfying.