Michael Lambert

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