Peter Aczel

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

    Speaker:

    Link: