October 28 @ 3:00 pm - 4:00 pm Category Theory Seminar: Daniel Carranza (JHU) Krieger 413 Formalizing cotensors in Lean.