Learning Seminar on Finite Relational Structures
Ross Willard, Pure Mathematics, University of Waterloo
"Larose's theorem"
Putting together some of the machinery developed this term, I will prove Larose’s Theorem: if X is a finite, connected reflexive digraph and X admits a Taylor operation, then for every k ≥ 1, the k-th homotopy group of X is trivial.