BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Lawvere Theories in Lean - Professor Adam Topaz (University of Alb
 erta)
DTSTART:20240314T170000Z
DTEND:20240314T180000Z
UID:TALK212215@talks.cam.ac.uk
CONTACT:Jonas Bayer
DESCRIPTION:Lawvere theories provide a categorical approach to Universal\n
 Algebra\, and their models have the benefit of being easily interpreted\ni
 n any category with finite products. This talk will discuss a\nformalizati
 on of (multi-sorted) Lawvere theories in Lean4\, as well as\nsome work in 
 progress toward relating them to the preexisting\nalgebraic hierarchy.\n\n
 —-\n\nWATCH ONLINE HERE : https://www.microsoft.com/en-gb/microsoft-team
 s/join-a-meeting?rtc=1 Meeting ID: 370 771 279 261 Passcode: iCo7a5\n
LOCATION:Live-streamed at MR14 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR