![School of Mathematics Event](/sites/default/files/styles/two_column_medium/public/2019-09/sm_default.jpg?itok=gMvWynkh)
Univalent Foundations Seminar
The Hopf Fibration via Higher Inductive Types
Date & Time
February 13, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Peter Lumsdaine
Affiliation
Dalhousie University; Member, School of Mathematics