CT Seminar: David Jaz Myers
Krieger 413Title: 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 […]
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 […]
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 […]
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 […]
Via Zoom
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
Title: Stability of perturbed wave equations on Kerr black hole spacetimesAbstract: I will discuss a recent work with Gustav Holzegel, in which we prove integrated decay bounds for solutions of the geometric […]
Title: Introduction to the trace formula.Abstract: This will be an introductory lecture to a very informal learning seminar that will run this semester. Topics will vary, but many of the […]