University of Cambridge > Talks.cam > SANDWICH Seminar (Computer Laboratory) > Traversing the Eckmann-Hilton Hyperclock

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Traversing the Eckmann-Hilton Hyperclock

Download to your calendar using vCal

If you have a question about this talk, please contact Ariadne Si Suo .

The Eckmann-Hilton argument is an algebraic construction that has important consequences in homotopy theory, implying in particular that the fundamental groups Ī€n(X,x) of a pointed topological space (X,x) are Abelian for n>1. In the language of higher-category theory, this construction has interesting new variants in higher dimensions: we will tour these variants and their formalisation in the proof-assistant CaTT.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Room FW11 The Oriel Room, The Pitt Building, Trumpington Street, Cambridge CCDC, 12 Union Road, Cambridge, CB2 1EZ

Other talks

CPH IRC and PHI "Gods, Monsters & Middle-class Uncles: Indian Comics in a Time between Worlds" Discovery Investigations: Science, Empire and the Making of the British South Atlantic From lab to clinic: an introduction to translational research Title to be confirmed CSAR lecture: Decarbonizing road freight (TBC)
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity