Chad Nester

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