UCalgary Peripatetic Seminar: Michael Lambert

  • Date: 03/17/2022
Lecturer(s):
Michael Lambert
Location: 

Online

Topic: 

Regular Logic in a `Double Category of Relations’

Description: 

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.

Other Information: 

This is an online event

email sacha.ikonicoff@ucalgary.ca for Zoom info

 

Time: 9:00–10:00am Pacific or 10:00–11:00am

 

 https://logic.ucalgary.ca/