Michael Lambert

Date: March 17, 2022
Time: 10:00 am - 11:00 am
Location: Zoom (email sacha.ikonicoff at ucalgary.ca for more info)

Title: Regular logic in a `double category of relations’

Abstract: In this talk, we will present a definition of a `double category of relations’, inspired by that of a bicategory of relations’ due to Carboni and Walters. Roughly, a `double category of relations’ is a cartesian equipment whose horizontal bicategory satisfies a certain discreteness condition. We will then sketch how any such structure yields a sound interpretation of regular logic.