BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Axiomatization of infinity-categories - Bastiaan Cnossen\, Univers
 ity of Regensburg
DTSTART:20250307T140000Z
DTEND:20250307T150000Z
UID:TALK228895@talks.cam.ac.uk
CONTACT:Thibaut Benjamin
DESCRIPTION: I'll discuss our proposed axiomatization of synthetic categor
 ies that allows to develop most of  (infinity-)category theory from first 
 principles\, without relying on explicit set-theoretic models. We expect t
 hat such a synthetic theory can make it easier to practice (infinity-)cate
 gory theory for non-experts and teach it to beginners\; moreover\, it lend
 s itself to formalization in proof assistants. This talk is based on ongoi
 ng collaborative work with D.-C. Cisinski\, K. Nguyen and T. Walde.
LOCATION:FW09\, Computer Laboratory
END:VEVENT
END:VCALENDAR