单值基础中球面的对称性
计算机科学中的逻辑
2024-01-29 v1 代数拓扑
摘要
在单值基础中工作,我们研究球面的对称性,即的类型。圆的情况有一个巧妙的答案:圆的对称性形成两个圆的副本。对于更高维的球面,对称性的类型又有两个连通分支,即映射度为正负一的分支。每个分支以为基本群。对于后一个结果,我们发展了一个EHP长正合序列。
引用
@article{arxiv.2401.15037,
title = {On symmetries of spheres in univalent foundations},
author = {Pierre Cagne and Ulrik Buchholtz and Nicolai Kraus and Marc Bezem},
journal= {arXiv preprint arXiv:2401.15037},
year = {2024}
}
备注
comments welcome