This page is for material relevant to my Ph.D. thesis --- I will try to sketch the important bits here as I write up the document itself. Pages: * [[regular logic]], [[regular fibration]] * [[allegory]], [[bicategory of relations]] * [[equipment]], [[cartesian equipment]] * ...