Peter Aczel

  1. Title:
    Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?
    Speaker:
    Peter Aczel

    Link:
    https://www.ias.edu/video/1213/univalent/0207-PeterAczel