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 November 24, 2024.

3:00 pm

November 25 @ 3:00 pm - 4:00 pm

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

Krieger 413

No events scheduled for November 26, 2024.

No events scheduled for November 27, 2024.

No events scheduled for November 28, 2024.

No events scheduled for November 29, 2024.

No events scheduled for November 30, 2024.

Week of Events

Mon 25

Tue 26

Wed 27

Thu 28

Fri 29

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

Category Theory Seminar: Formalizing ∞-Category Theory in Lean