The Hopf Fibration via Higher Inductive Types Date February 13, 2013 Speakers Peter Lumsdaine Affiliation Dalhousie University; Member, School of Mathematics School of Mathematics Univalent