Speaker
Luca Reggio, University College London
Title
Concrete, Abstract, Axiomatic: A (personal) Journey Through Game Comonads
Abstract
I will outline some of the main insights that can be gained from adopting the abstract perspective on finite (or resource-sensitive) model theory offered by game comonads, and the axiomatic viewpoint of arboreal categories.
Based on these considerations, I will discuss some preliminary ideas on developing a homotopy theory of logical resources.
Slides
Concrete, Abstract, Axiomatic: A (personal) Journey Through Game Comonads