December 5 @ 4:30 pm - 5:30 pm Topology Seminar: Robert Muth (Duquesne) Topology Seminars Krieger 411 Title and abstract TBA
December 9 @ 3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean Category Theory Seminars Krieger 413