Higher Category Theory For Beginners With Homotopy io

Higher Category Theory For Beginners With Homotopy io

Jamie Vicary – Introducing homotopy.io: A proof assistant for geometrical higher category theorySee more

Jamie Vicary – Introducing homotopy.io: A proof assistant for geometrical higher category theory

∞-Category Theory for UndergraduatesSee more

∞-Category Theory for Undergraduates

Foundations of Higher Category Theory (HTT 1.1)See more

Foundations of Higher Category Theory (HTT 1.1)

Tutorial on Category Theory: Part 1 – Pure and ClassicalSee more

Tutorial on Category Theory: Part 1 – Pure and Classical

A Sensible Introduction to Category TheorySee more

A Sensible Introduction to Category Theory

Higher Algebra 1: ∞-CategoriesSee more

Higher Algebra 1: ∞-Categories

Brandon Shapiro: "(Higher) category theory in Cat^#"See more

Brandon Shapiro: '(Higher) category theory in Cat^#'

Events