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

Date

Speakers

Peter Aczel

Affiliation

The Unviersity of Manchester; Member,School of Mathematics