Mathematics Calendar 
February 23, 2016
| Tuesday, February 23 |
Noncommutative Geometry
Time: 11:30
Speaker: (Western) Title: "Examples of Yang-Mills Theories III" Room: MC 107 Abstract: We shall give several examples of Yang-Mills Theories. Homotopy Theory
Time: 13:30
Speaker: Marco Vergura (Western) Title: "Equivalences and the Univalence Axiom (part 1)" Room: MC 107 Abstract: We introduce Voevodsky's Univalence Axiom and see some of its consequences in type theory. We also start studying various definition of type-theoretic equivalences. |
Department of Mathematics
the University of Western Ontario
Copyright © 2004-2017
For technical inquiries email
