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: Minimal model program for foliations.Abstract: In this talk, I will discuss recent progress on the minimal model program for foliations. Part of this talk is based on joint works with Yujie Luo, Fanjun Meng, and Lingyao Xie.
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 […]