UCalgary Peripatetic Seminar: Rachel Hardeman Morrill
- Date: 03/03/2023
- Time: 13:00
Lecturer(s):
Rachel Hardeman Morrill
Location:
University of Calgary
Topic:
Path Categories in A-Homotopy Theory
Description:
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