Bruno Gavranovic: Space-time tradeoffs of lenses and optics via higher category theory

(1:4:40)

Data Structures for Quasistrict Higher Categories

(47:35)

Brandon Shapiro: \

(59:51)

Higher Algebra 1: ∞-Categories

(1:2:27)

Homotopy Type Theory and Internal Languages of Higher Categories

(1:42:57)

Foundations of Higher Category Theory (HTT 1.1)

(23:32)

Higher Category Theory For Beginners With Homotopy io

(2:20:33)

2065 Hypothetical Pacific Typhoon Season Animation (Entharex)

(18:31)

The First Real Application of Category Theory #SoME3

(12:45)

Chris Schommer-Pries: The unicity of the homotopy theory of higher categories.

(1:13:18)

UChicago BunG Seminar. Talk XIII. Justin Campbell, Higher Category Theory

(1:50:27)

Chris Schommer-Pries: Dualizability in Low Dimensional Higher Category Theory (Part 2)

(1:11:30)

Higher categories and algebraic K theory Andrew Blumberg (University of Texas)

(39:30)

Viktoriya Ozornova: Equivalences in higher categories

(1:5:45)

Chris Schommer-Pries: Dualizability in Low Dimensional Higher Category Theory (Part 1)

(1:22:25)

Chris Schommer-Pries: Dualizability in Low Dimensional Higher Category Theory (Part 4)

(57:36)

Chris Schommer-Pries: Dualizability in Low Dimensional Higher Category Theory (Part 3)

(1:2:50)

Brandon Shapiro: Familial and Polynomial Functors for Higher Category Theories

(1:13:54)

Ozornova, Equivalences in higher categories

(37:58)