COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > On bilinearity of Whitehead products in Homotopy Type Theory

## On bilinearity of Whitehead products in Homotopy Type TheoryAdd 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
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsBiophysical Techniques Lecture Series 2020 Meeting the Challenge of Healthy Ageing in the 21st Century Cambridge RNA Club## Other talksThe Challenges of Commercialising Liquid Metal Batteries Generic pattern unification: a categorical approach Interfacial waves under horizontal electric fields: Hamiltonian structure and bifurcation of solitary waves Gateway On the monotonicity of entropy in the discrete entropic central limit theorem LMB Seminar: Cryo-ET reveals sarcomere structures at molecular resolution |