BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Evan Patterson (Topos Institute)
DTSTART:20241029T230000Z
DTEND:20241029T235900Z
DTSTAMP:20260409T130747Z
UID:SecondVDCW/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SecondVDCW/8
 /">Double-categorical logic in theory and practice</a>\nby Evan Patterson 
 (Topos Institute) as part of Second Virtual Workshop on Double Categories\
 n\n\nAbstract\nCategory theory contains a broad array of gadgets out of wh
 ich to build specialized logics\, as explored in categorical logic and pro
 gramming language theory. Double category theory can organize and systemat
 ize the use of these categorical gadgets. In the first part of the talk\, 
 I review joint work with Michael Lambert on double theories and their mode
 ls. Double theories are categorified theories whose models are categories 
 equipped with extra structure. In the second part\, I show how this work c
 an be put to practical effect. I describe ongoing work with collaborators 
 at Topos Institute to build CatColab\, an interactive environment for form
 al\, interoperable\, conceptual modeling. In technical terms\, CatColab is
  a structure editor for models of domain-specific logics\, as defined by d
 ouble theories.\n
LOCATION:https://researchseminars.org/talk/SecondVDCW/8/
END:VEVENT
END:VCALENDAR