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
1

Daily applications of the univalence axiom: lecture 3

Sélection Signaler une erreur
Multi angle
Auteurs : Rijke, Egbert (Auteur de la Conférence)
CIRM (Editeur )

Loading the player...

Résumé : The goal of my lectures is to show what mathematics looks like from the univalent point of view. In the first lecture I will describe the foundational aspects of the univalent foundations, with first applications to finite sets, descent, and the construction of the projective spaces. In the second and third lectures I will describe how the univalence axiom shows up in group theory and in combinatorics.

Keywords : univalence axiom; homotopy type theory; univalent combinatorics; formalization of mathematics; projective spaces; group theory

Codes MSC :
03B15 - Higher-order logic and type-theory
05A99 - None of the above but in this section
55U40 - Topological categories, foundations of homotopy theory

Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2689/Slides/s_rijke_3.pdf

    Informations sur la Vidéo

    Réalisateur : Hennenfent, Guillaume
    Langue : Anglais
    Date de publication : 14/03/2022
    Date de captation : 24/02/2022
    Sous collection : Research School
    arXiv category : Category Theory ; Logic
    Domaine : Algebra ; Combinatorics ; Logic and Foundations
    Format : MP4 (.mp4) - HD
    Durée : 01:22:58
    Audience : Researchers ; Doctoral Students, Post-Doctoral Students
    Download : https://videos.cirm-math.fr/2022-02-24_Rijke_Part3.mp4

Informations sur la Rencontre

Nom de la rencontre : Logic and higher structures / Logique et structures supérieures
Organisateurs de la rencontre : Ara, Dimitri ; Coquand, Thierry ; Mimram, Samuel
Dates : 21/02/2022 - 25/02/2022
Année de la rencontre : 2022
URL Congrès : https://conferences.cirm-math.fr/2689.html

Données de citation

DOI : 10.24350/CIRM.V.19889503
Citer cette vidéo: Rijke, Egbert (2022). Daily applications of the univalence axiom: lecture 3. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19889503
URI : http://dx.doi.org/10.24350/CIRM.V.19889503

Voir aussi

Bibliographie



Imagette Video

Sélection Signaler une erreur