On bilinearity of Whitehead products in Homotopy Type Theory

Add to your list(s) Download to your calendar using vCal

• Ulrik Buchholtz, University of Nottingham
• Friday 11 November 2022, 14:00-15:00
• SS03.

If you have a question about this talk, please contact Jamie Vicary.

I’ll report on some recent work on maps between spheres in univalent foundations (with a formalization in cubical type theory). For the case of 2-spheres, this requires some results about Whitehead products related to the EHP long exact sequence. (This is joint work with Marc Bezem, Pierre Cagne and Nicolai Kraus.) Studying the types of spheres in homotopy 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 Jaz Myers, Egbert Rijke, and Jarl Taxerås Flaten.)

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• SS03
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.