Amélia Liao, Univalent Category Theory

Amélia Liao, Univalent Category Theory

Amélia Liao: "Cubical types for the working formalizer"Подробнее

Amélia Liao: 'Cubical types for the working formalizer'

Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]Подробнее

Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]

Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2Подробнее

Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2

Elena Di Lavore - Partial Markov CategoriesПодробнее

Elena Di Lavore - Partial Markov Categories

How I became seduced by univalent foundationsПодробнее

How I became seduced by univalent foundations

Chaitanya Leena Subramaniam, Semantics of HoTTПодробнее

Chaitanya Leena Subramaniam, Semantics of HoTT

∞-Category Theory for UndergraduatesПодробнее

∞-Category Theory for Undergraduates

Evan Cavallo, Cubes with one connection and relative eleganceПодробнее

Evan Cavallo, Cubes with one connection and relative elegance

Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLAПодробнее

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

A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)Подробнее

A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)