September 23 @ 3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean Krieger 413
September 23 @ 4:30 pm - 5:30 pm Analysis seminar: Kobe Marshall-Stevens (JHU) Krieger 306 Title: On isolated singularities and generic regularity of min-max CMC hypersurfacesAbstract: Smooth constant mean curvature (CMC) hypersurfaces serve as effective tools to study the geometry and topology of Riemannian manifolds. […]