Learning seminar on Finite Relational Structures

Ian Payne, Department of Pure Mathematics University of Waterloo

“Continuation of Discrete Homotopy”

I will continue to prove that the operation I defined last week is well defined, and is a group operation. The next step is to define higher homotopy groups, and maybe even do a (very) small example.