Lean summer lectures 9/18 -- Category theory

Lean summer lectures 9/18 -- Category theory

LftCM2020: Category theory - Scott MorrisonSee more

LftCM2020: Category theory - Scott Morrison

Lean summer lectures 8/18: abelianizationSee more

Lean summer lectures 8/18: abelianization

Lean summer lectures 1/18See more

Lean summer lectures 1/18

Category Theory Lecture 9 (NGA CoE-MaSS) #exponentiationSee more

Category Theory Lecture 9 (NGA CoE-MaSS) #exponentiation

27 Unhelpful Facts About Category TheorySee more

27 Unhelpful Facts About Category Theory

The joy of abstract mathematical thinking - with Eugenia ChengSee more

The joy of abstract mathematical thinking - with Eugenia Cheng

Lean summer lectures 2/18: partitionsSee more

Lean summer lectures 2/18: partitions

Events