Talk page

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