University of Calgary Peripatetic Seminar: Chad Nester (Online)

I will discuss how cartesian restriction categories can be reasoned about using string diagrams for monoidal categories, including how this extends to regular restriction categories. Specifically, we will see that every cartesian bicategory of relations (in the sense of Carboni and Walters) has a regular restriction category of partial maps as a subcategory, and that from a regular restriction category we can construct the category of relations of which it is the partial map subcategory. This all works whether or not our restriction categories are split.