Events by date

Ross Willard, Department of Pure Mathematics, University of Waterloo

"Dualizing the finite level"

Last week, Justin proved the Duality Compactness Theorem, which reduces the task of proving a duality to proving it “at the finite level,” that is, for the finite algebras in the quasi-variety ISP(M), at least for alter egos with a finite signature. This week I will present a characterization of when an alter ego dualizes the finite algebras in ISP(M). The characterization is especially useful when the term operations of M are understood.

MC 5403

Maxwell Levit, Department of Combinatorics & Optimization, University of Waterloo

"Topological Combinatorics and Combinatorial Topology"

I’ll tell you about a topological proof of a combinatorial result (The Borsuk-Ulam Theorem implies Kneser’s Conjecture), and a combinatorial proof of a topological result (Sperner’s Lemma implies the Brouwer fixed point theorem). 

MC 5501