BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Lawvere theories and finitary monads - Nathanael Arkor (University
  of Cambridge)
DTSTART:20200131T110000Z
DTEND:20200131T120000Z
UID:TALK138913@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Lawvere theories (also known as algebraic theories) are a cate
 gorical presentation-free formulation of algebraic structure (such as that
  of monoids\, groups\, rings\, etc.). I will introduce and provide intuiti
 on for the definition of a Lawvere theory and its models\, and discuss a r
 esult of Linton establishing a correspondence between Lawvere theories (an
 d their models in Set) and finitary monads on Set (and their algebras).
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR