Andre Joyal

  1. Title:
    The theory of quasi-categories
    Speaker:
    Andre Joyal

    Link:
    https://www.msri.org/workshops/140/schedules/755

  2. Title:
    What is an elementary higher topos?
    Speaker:
    Andre Joyal

    Link:
    https://www.msri.org/workshops/689/schedules/18227