Learning seminar on Finite Relational Structures

Thursday, November 1, 2012 2:30 pm - 2:30 pm EDT (GMT -04:00)

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.