Amélia Liao, Univalent Category Theory

Amélia Liao, Univalent Category Theory

[London Learning Lean] Group cohomology, by Amelia LivingstonSee more

[London Learning Lean] Group cohomology, by Amelia Livingston

What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explainsSee more

What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains

Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLASee more

Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA

∞-Category Theory for UndergraduatesSee more

∞-Category Theory for Undergraduates

How I became seduced by univalent foundationsSee more

How I became seduced by univalent foundations

Algebraic Geometry Category Theory and Homotopy TheorySee more

Algebraic Geometry Category Theory and Homotopy Theory

Alexandra Utiralova - Representations of general linear groups in the Verlinde categorySee more

Alexandra Utiralova - Representations of general linear groups in the Verlinde category

[POPL 2021] Functorial Semantics for Partial Theories (full)See more

[POPL 2021] Functorial Semantics for Partial Theories (full)

A Pragmatic Introduction to Category Theory—Daniela SfregolaSee more

A Pragmatic Introduction to Category Theory—Daniela Sfregola

Does Category Theory Solve Russell's Paradox?See more

Does Category Theory Solve Russell's Paradox?

Thibaut Benjamin, CaTT, a type theory to describe weak ω-categoriesSee more

Thibaut Benjamin, CaTT, a type theory to describe weak ω-categories

News