Zobrazeno 1 - 1
of 1
pro vyhledávání: '"55P10 (Primary) 55U40, 03B38 (Secondary)"'
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: the symmetries of the circle form two copies of the circle. For higher-d
Externí odkaz:
http://arxiv.org/abs/2401.15037
