Univalent Foundations Seminar
Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?
Date & Time
February 07, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Peter Aczel
Affiliation
The Unviersity of Manchester; Member,School of Mathematics