BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Free algebras for free theories - Ioannis Markakis (University of 
 Cambridge)
DTSTART:20250303T130000Z
DTEND:20250303T140000Z
UID:TALK227803@talks.cam.ac.uk
CONTACT:Ariadne Si Suo
DESCRIPTION:Higher categories are often described as algebras for a monad 
 in the category of presheaves over a direct category of shapes. In this ta
 lk\, we will explore what are the generating data for such a monad and for
  their algebras. We will introduce a generalised notion of signature (a sp
 ecial type of GAT) and we will describe inductively "computads" for such a
  signature as well as free algebras they generate.
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR