Nima Rasekh

  1. Title:
    Complete Segal objects and univalent maps
    Speaker:
    Nima Rasekh

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

  2. Title:
    Every Elementary Higher Topos has a Natural Number Object
    Speaker:
    Nima Rasekh

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

  3. Title:
    Every Elementary Higher Topos has a Natural Number Object
    Speaker:
    Nima Rasekh

    Link:
    https://www.youtube.com/watch?v=_F8xFUQOCHQ&pp=sAQA