セミナーノート

次の課題を考えていて，ちょっと行き詰った。
目標は paracompact 性にあるので，それらの定義と基本的な性質を押える必要がある。

これについては研究室の先輩が少しやっておられるので，それを参考にすればいいはず。
問題はそれらと uniformity をどう結びつけるか，である。
古典的な場合はきれいに結びついている。
それを fibrewise で考えた場合，いくつかの定義が考えられるのだが，
どれがいいのか，現在不明。