BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:On bilinearity of Whitehead products in Homotopy Type Theory - Ulr
 ik Buchholtz\, University of Nottingham
DTSTART:20221111T140000Z
DTEND:20221111T150000Z
UID:TALK184940@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:I'll report on some recent work on maps between spheres in uni
 valent foundations (with a formalization in cubical type theory). For the 
 case of 2-spheres\, this requires some results about Whitehead products re
 lated to the EHP long exact sequence. (This is joint work with Marc Bezem\
 , Pierre Cagne and Nicolai Kraus.) Studying the types of spheres in homoto
 py type theory also leads to a new definition of Euler classes\, and I'll 
 explain how. (The latter part is joint work with Dan Christensen\, David J
 az Myers\, Egbert Rijke\, and Jarl Taxerås Flaten.)
LOCATION:SS03
END:VEVENT
END:VCALENDAR