CT Seminar: David Jaz Myers

Krieger 413

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 […]

Algebraic Geometry Seminar: Jihao Liu (Northwestern)

Krieger 413

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 […]

CT Seminar: Florrie Verity

Krieger 413

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 […]