LftCM2020: Category theory - Scott Morrison

LftCM2020: Category theory - Scott Morrison

LftCM2020 welcome talkSee more

LftCM2020 welcome talk

Lean summer lectures 9/18 -- Category theorySee more

Lean summer lectures 9/18 -- Category theory

The blob complex - Scott MorrisonSee more

The blob complex - Scott Morrison

LftCM2020: Numbers in Lean - Rob LewisSee more

LftCM2020: Numbers in Lean - Rob Lewis

Category Theory (with Dmitry Shatkov)See more

Category Theory (with Dmitry Shatkov)

Quantum ProbabilitySee more

Quantum Probability

Category Theory, Composition and Functional ProgrammingSee more

Category Theory, Composition and Functional Programming

20190605 Introduction to Interactive theorem proving, at the OSU Quantum Symmetries summer schoolSee more

20190605 Introduction to Interactive theorem proving, at the OSU Quantum Symmetries summer school

LftCM2020: Mathematics in Lean introduction - Patrick MassotSee more

LftCM2020: Mathematics in Lean introduction - Patrick Massot

"Category Theory: An Abstraction for Anything" by Alissa Pajer (2013)See more

'Category Theory: An Abstraction for Anything' by Alissa Pajer (2013)

LftCM2020: Differential geometry - Sebastien GouëzelSee more

LftCM2020: Differential geometry - Sebastien Gouëzel

LftCM2020: Building an algebraic hierarchy - Kevin BuzzardSee more

LftCM2020: Building an algebraic hierarchy - Kevin Buzzard

Actual