Royal Road to Topology Chapter XX

Chapter 20: Compactness

スタブ章ノート。本格カード化はしない（進捗表 🟡 辞書分のみ）。第XXIV章 Spaces of Maps の読解で前提となった概念だけ最小の辞書カードを作成した——本章は第XXIV章から12箇所も明示的に番号引用される、issue #17 起票時には想定されていなかった大きな依存元（$\kappa(\xi)$・consonant の定義そのもの・Isbell/Scott topology の基礎・$K=K_{\mathrm{her}}$ の十分条件）。

XX.6 Compactoid and Compact Families

• cards/topology/compact-family-kappa-xi
• cards/topology/consonant-topology

XX.9 Local Compactness

• 📐 cards/topology/prop-xx-9-13-hausdorff-regular-hereditarily-locally-compact

XX.10 Hyperconvergences Revisited

• 📐 cards/topology/cor-xx-10-9-open-set-compact-family-duality