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.