ファイバーバンドルとファイバー付き圏の類似性は思っていたよりずっと精密で本質的なようだ。$`\newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\hyp}{ \text{-} } %`$ ファイバーバンドル ←→ ファイバー付き圏 底空間 ←→ 底圏 インデックス付き空間 ←→ …