André Joyal

  1. Title:
    4/4 A crash course in topos theory : the big picture
    Speaker:
    André Joyal

    Link:
    https://www.youtube.com/watch?v=xzyxgJBNW8w

  2. Title:
    3/4 A crash course in topos theory : the big picture
    Speaker:
    André Joyal

    Link:
    https://www.youtube.com/watch?v=u_cl0qiJxWY

  3. Title:
    1/4 A crash course in topos theory : the big picture
    Speaker:
    André Joyal

    Link:
    https://www.youtube.com/watch?v=Ro8KoFFdtS4

  4. Title:
    2/4 A crash course in topos theory : the big picture
    Speaker:
    André Joyal

    Link:
    https://www.youtube.com/watch?v=4vxzK4LjFlY

  5. Title:
    New variations on the notion of topos
    Speaker:
    André Joyal

    Link:
    https://www.youtube.com/watch?v=qmCh9KwrQq8

  6. Title:
    On Voevodsky's univalence principle
    Speaker:
    André Joyal

    Link:
    https://www.ias.edu/video/VoevodskyMemConf-2018/0911-AndreJoyal

  7. Title:
    HoTT is a Polyvalent Foundation of Mathemtics
    Speaker:
    André Joyal

    Link:
    https://www.ias.edu/video/univalent/1213/0404-AndreJoyal

  8. Title:
    The (higher) topos classifying $\infty$ -connected objects
    Speaker:
    André Joyal

    Link:
    http://www.birs.ca/events/2021/5-day-workshops/21w5251/videos/watch/202106161703-Joyal.html