>>414
HoTTという本は読んだことはないが、
球面の安定ホモトピー群の計算は出てこないのかね？
もしそうだとすると、いったい何が面白いのかね？

https://en.wikipedia.org/wiki/Homotopy_groups_of_spheres

トポロジーの最大の成果といえば、
球面の安定ホモトピー群と異種球面
が双璧だと思ってるが、
前者はベルヌーイ数の分母、後者はベルヌーイ数の分子
が出てくる　その深い理由が知りたい
なんか知らんけど出てきた、とかいうのではつまらない