Chad Nester

Date: April 17, 2020
Time: 12:00 am - 12:00 am
Location: Zoom (email benjamin.macadam at ucalgary for details)

Title: String Diagrams for Regular Restriction Categories

Abstract: 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.