BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A formal language for formal category theory - Paula Verdugo (John
 s Hopkins University)
DTSTART:20240607T083000Z
DTEND:20240607T093000Z
UID:TALK217228@talks.cam.ac.uk
DESCRIPTION:Equipments\, a special kind of double categories\, have shown 
 to be a powerful environment to express formal category theory. We build a
  model structure on the category of double categories and double functors 
 whose fibrant objects are the equipments\, and combine this together with 
 Makkai&rsquo\;s early approach to equivalence invariant statements in high
 er category theory via FOLDS (First Order Logic with Dependent Sorts) and 
 Henry&rsquo\;s recent connection between model structures and formal langu
 ages\, to show a result on the equivalence invariance of formal category t
 heory.
LOCATION:External
END:VEVENT
END:VCALENDAR