February 27 @ 3:00 pm - 4:00 pm Condensed Seminar: Rok Gregoric (JHU) Krieger 413 Title: Analytic rings
February 27 @ 4:15 pm - 5:15 pm CT Seminar: Sina Hazratpour (JHU) Krieger 413 Title: Fibered Yoneda Lemma in Lean 4 Abstract: In this talk, I would like to give you a sense of what it’s like to do category theory in a computer. I […]