00:00:00 / 00:00:00

Appears in collection : Logic and higher structures / Logique et structures supérieures

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.

Information about the video

Citation data

  • DOI 10.24350/CIRM.V.19889103
  • Cite this video Rijke, Egbert (21/02/2022). Daily applications of the univalence axiom: lecture 1. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19889103
  • URL https://dx.doi.org/10.24350/CIRM.V.19889103

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow


  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
  • Get notification updates
    for your favorite subjects
Give feedback