UCalgary Peripatetic Seminar: Rachel Hardeman Morrill

  • Date: 03/03/2023
  • Time: 13:00
Rachel Hardeman Morrill

University of Calgary


Path Categories in A-Homotopy Theory


A-homotopy theory is a discrete homotopy theory for graphs. While A-homotopy theory has many of the nice properties of the classical homotopy theory on topological spaces, we would like to know if it also has a nice structure to work with as well. We are pursuing this structure through path categories and homotopy type theory. In this talk, I will discuss why path categories might be the right option to get the structure that we are looking for in A-homotopy theory and how we can define a path category on the category of graphs (or something very close to it). This is joint work with Dr. Laura Scull.

Other Information: 

Location: ICT 616

Time: 1pm Mountain