Name: Category Theory Seminar: Formalizing ∞-Category Theory in Lean
Start: 2024-12-09T15:00:00-05:00
End: 2024-12-09T16:00:00-05:00
Location: Krieger 413

No events scheduled for September 22, 2024.

3:00 pm

September 23 @ 3:00 pm - 4:00 pm

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

Krieger 413

No events scheduled for September 24, 2024.

No events scheduled for September 25, 2024.

No events scheduled for September 26, 2024.

No events scheduled for September 27, 2024.

No events scheduled for September 28, 2024.

Week of Events

Mon 23

Tue 24

Wed 25

Thu 26

Fri 27

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

Category Theory Seminar: Formalizing ∞-Category Theory in Lean