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.
3:00 pm - 4:00 pm Category Theory Seminar: Emily Riehl (JHU) November 4, 2024 @ 3:00 pm - 4:00 pm Category Theory Seminar: Emily Riehl (JHU) Topic: Formalizing ∞-category theory in Lean
3:00 pm - 4:00 pm Category Theory Seminar: Emily Riehl (JHU) November 11, 2024 @ 3:00 pm - 4:00 pm Category Theory Seminar: Emily Riehl (JHU) Topic: Formalizing ∞-Category Theory in Lean
3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean November 18, 2024 @ 3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean
3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean November 25, 2024 @ 3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean