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

There are no events on this day.

December 2

December 2 @ 3:00 pm - 4:00 pm

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

December 9

December 9 @ 3:00 pm - 4:00 pm

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

0 events, 1

0 events, 1

1 event, 2

1 event, 2

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

0 events, 3

0 events, 3

0 events, 4

0 events, 4

0 events, 5

0 events, 5

0 events, 6

0 events, 6

0 events, 7

0 events, 7

0 events, 8

0 events, 8

1 event, 9

1 event, 9

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

0 events, 10

0 events, 10

0 events, 11

0 events, 11

0 events, 12

0 events, 12

0 events, 13

0 events, 13

0 events, 14

0 events, 14

0 events, 15

0 events, 15

0 events, 16

0 events, 16

0 events, 17

0 events, 17

0 events, 18

0 events, 18

0 events, 19

0 events, 19

0 events, 20

0 events, 20

0 events, 21

0 events, 21

0 events, 22

0 events, 22

0 events, 23

0 events, 23

0 events, 24

0 events, 24

0 events, 25

0 events, 25

0 events, 26

0 events, 26

0 events, 27

0 events, 27

0 events, 28

0 events, 28

0 events, 29

0 events, 29

0 events, 30

0 events, 30

0 events, 31

0 events, 31

0 events, 1

0 events, 1

0 events, 2

0 events, 2

0 events, 3

0 events, 3

0 events, 4

0 events, 4

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

Category Theory Seminar: Formalizing ∞-Category Theory in Lean