On symmetries of spheres in univalent foundations

Pierre Cagne, Ulrik Buchholtz, Nicolai Kraus +1

Working in univalent foundations, we investigate the symmetries of spheres, i.e., the types of the form ${\mathbb{S}}^n={\mathbb{S}}^n$. The case of the circle has a slick answer: th…