The fibrational structure of the map ensures that the homotopy lifting property holds for every fiber.
その写像のファイバレーションに関する構造により、各ファイバーに対してホモトピーの持ち上げ性が成り立つ。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
