En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Audiovisual Mathematics Library

Audiovisual Mathematics Library

Documents 18N60 4 results

Filter
Select: All / None
K | F x r
P Q P Q P Q
1
Exact $\infty$-categories Jasso, Gustavo 27/11/2023 G

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

1
On the ∞-topos semantics of homotopy type theory 1:
a categorical semantics of dependent type theory 		Riehl, Emily 21/02/2022 G

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

1
On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations Riehl, Emily 21/02/2022 G

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

1
On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes Riehl, Emily 21/02/2022 G

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

List: nb of elts/page

Select: All / None