Events by date

Andrej Vukovic, Department of Pure Mathematics, University of Waterloo

"Fundamental Group of the Circle and Other Highlights"

Today we construct the circle type and show that its fundamental group is Z, using synthetic homotopy theory. As requested at the last meeting, we also show that function extensionality implies weak function extensionality.

MC 5413

Rahim Moosa, Department of Pure Mathematics, University of Waterloo

"Pseudo-finite sets and dimension, Part 6"

I will discuss the pseudo-finite Larsen-Pink inequality, which compares pseudo-finite dimension to algebraic dimension in simple algebraic groups.

MC 5403