3:00 pm - 4:00 pm Category Theory Seminar: Alvaro Belmonte (JHU) September 30, 2024 @ 3:00 pm - 4:00 pm Category Theory Seminar: Alvaro Belmonte (JHU) Title: Formalizing ∞-Category Theory in Lean
3:00 pm - 4:00 pm Category Theory Seminar: Daniel Carranza (JHU) October 7, 2024 @ 3:00 pm - 4:00 pm Category Theory Seminar: Daniel Carranza (JHU) Topic: Formalizing ∞-Category Theory in Lean
3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean October 14, 2024 @ 3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean
3:00 pm - 4:00 pm Category Theory Seminar: Zeyi Zhao (JHU) October 21, 2024 @ 3:00 pm - 4:00 pm Category Theory Seminar: Zeyi Zhao (JHU) Topic: Formalizing ∞-Category Theory in Lean
3:00 pm - 4:00 pm Category Theory Seminar: Daniel Carranza (JHU) October 28, 2024 @ 3:00 pm - 4:00 pm Category Theory Seminar: Daniel Carranza (JHU) Formalizing cotensors in Lean.