Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure? Date February 07, 2013 Speakers Peter Aczel Affiliation The Unviersity of Manchester; Member,School of Mathematics School of Mathematics Univalent