A ────→ X │ ┐ │ │ ／ │ r│ ／ │ │ ／ │ ↓／ ↓ B ────→ Y上の図の四角が pullback だとします。このとき、 右下三角を可換にする斜めの射 r のセクション は一対一に対応します。 証明は簡単なので省略します。 こんな時に使えるかも(1) X ┐ │ ・ │ ・ │ ・ …