55U40 Topological categories, foundations of homotopy theory

MSC > 55Uxx Applied homological algebra and category theory > 55U40 Topological categories, foundations of homotopy theory

Videos linked to 55U40 Topological categories, foundations of homotopy theory

01:22:58

published on March 14, 2022

Daily applications of the univalence axiom: lecture 3

By Egbert Rijke

01:22:28

published on March 14, 2022

Daily applications of the univalence axiom: lecture 2

By Egbert Rijke

01:30:04

published on March 14, 2022

Daily applications of the univalence axiom: lecture 1

By Egbert Rijke

56:01

published on September 28, 2017

Type theories and polynomial monads

By Steve Awodey

01:17:37

published on March 21, 2015

[1097] Catégories supérieures et théorie des topos

By Denis Charles Cisinski

54:16

published on April 23, 2014

Univalent Foundations - new type-theoretic foundations of mathematics

By Vladimir Voevodsky

More +

Copyright Carmin.tv 2025

Give feedback