Mathématiques
et Interactions
Accueil
Vidéos
Collections
Instituts
Conférencier·e·s
en
Connexion
Merci de nous
donner votre avis
pour que nous puissions améliorer votre expérience !
14 videos
Quantum gravity and random geometry
1 videos
2023 - T1A - Geometry and statistics in data sciences
28 videos
Not Only Scalar Curvature Seminar
4 videos
MathFlows
Toutes les collections
Tous les instituts
MSC
> 55Uxx Applied homological algebra and category theory > 55U40 Topological categories, foundations of homotopy theory
Les vidéos associées à 55U40 Topological categories, foundations of homotopy theory
01:22:58
publiée le
14 mars 2022
Daily applications of the univalence axiom: lecture 3
De Egbert Rijke
01:22:28
publiée le
14 mars 2022
Daily applications of the univalence axiom: lecture 2
De Egbert Rijke
01:30:04
publiée le
14 mars 2022
Daily applications of the univalence axiom: lecture 1
De Egbert Rijke
56:01
publiée le
28 septembre 2017
Type theories and polynomial monads
De Steve Awodey
01:17:37
publiée le
7 avril 2015
Catégories supérieures et théorie des topos
De Denis Charles Cisinski
54:16
publiée le
23 avril 2014
Univalent Foundations - new type-theoretic foundations of mathematics
De Vladimir Voevodsky
Voir +
Accueil
Vidéos
Collections
Instituts
Conférencier·e·s
À Propos
Connexion
Fr
/
En
Aide
Mentions légales
& Politique de confidentialité
Copyright Carmin.tv 2023
En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour améliorer votre expérience.
En savoir plus sur notre politique de confidentialité
.
Accepter
Donner son avis
