Guillaume Brunerie

  1. Title:
    The fourth homotopy group of the three-dimensional sphere
    Speaker:
    Guillaume Brunerie

    Link:
    https://video-archive.fields.utoronto.ca/view/5042

  2. Title:
    Homotopy type theory: working invariantly in homotopy theory
    Speaker:
    Guillaume Brunerie

    Link:
    https://www.ias.edu/video/postdoc/2017/0926-GuillaumeBrunerie

  3. Title:
    Invariant homotopy theory in the univalent foundations
    Speaker:
    Guillaume Brunerie

    Link:
    https://www.ias.edu/video/shorttalks/2016/0928-GuillaumeBrunerie

  4. Title:
    The James Construction and $pi_4(S^3)$
    Speaker:
    Guillaume Brunerie

    Link:
    https://www.ias.edu/video/univalent/1213/0327-GuillaumeBrunerie

  5. Title:
    $pi_2(s^2)$ in HoTT
    Speaker:
    Guillaume Brunerie

    Link:
    https://www.ias.edu/video/univalent/1213/0220-GuillaumeBrunerie

  6. Title:
    Weak Infinity Groupoids in HoTT
    Speaker:
    Guillaume Brunerie

    Link:
    https://www.ias.edu/video/1213/univalent/0130-GuillaumeBrunerie