## 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