Title: The Para construction as a wreath product of pseudomonadsjww Matteo CapucciAbstract:"The purpose of being categorical is to make that which is formal, formally formal" - Peter May"You are about to witness the strength of street knowledge" - NWAThis talk is a story about following the natural contours of a categorical argument. We have a […]
Title: Modelling crisp type theory Abstract: Crisp type theory is a modal type theory originating in work of Pfenning and Davies (2001) and developed by Shulman (2018) for investigations in homotopy type theory. It is conjectured to be modelled by some generalised kind of comma category. In this talk, I will follow Pfenning and Davies to […]
Title: Pyknotic setsAbstract: In this talk, I will introduce the idea of Pyknotic/Condensed sets and how they can potentially be used to solve the problem of the category of topological spaces not being abelian. I will also go over the prerequisite concepts in category theory such as the notion of Grothendieck topology, pro-object in a […]
Title: Pyknotic/condensed sets II Abstract: We will continue the discussion of pyknotic sets, and introduce the notion of condensed sets.