BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Traversing the Eckmann-Hilton Hyperclock - Wilf Offord (University
  of Cambridge)
DTSTART:20241021T120000Z
DTEND:20241021T130000Z
UID:TALK223036@talks.cam.ac.uk
CONTACT:Ariadne Si Suo
DESCRIPTION:The Eckmann-Hilton argument is an algebraic construction that 
 has important consequences in homotopy theory\, implying in particular tha
 t the fundamental groups πn(X\,x) of a pointed topological space (X\,x) a
 re Abelian for n>1. In the language of higher-category theory\, this const
 ruction has interesting new variants in higher dimensions: we will tour th
 ese variants and their formalisation in the proof-assistant CaTT.
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR