|
|
内容紹介・もくじなど
内容紹介：圏と関手で「集合と位相」を表現すれば「被覆、層、トポス」になる。トポスの射は関手の随伴対なので高次の圏が必要になる。対応する高次被覆の文法は、ホモトピー論で模圏（Ｑｕｉｌｌｅｎモデル圏）といわれる構造になる。初等的な集合論と位相空間論をもとに、トポスでの抽象単体ホモトピー論となる模圏構造を論ずる。
内容紹介：圏と関手で「集合と位相」を表現すれば「被覆、層、トポス」になる。トポスの射は関手の随伴対なので高次の圏が必要になる。対応する高次被覆の文法は、ホモトピー論で模圏（Ｑｕｉｌｌｅｎモデル圏）といわれる構造になる。初等的な集合論と位相空間論をもとに、トポスでの抽象単体ホモトピー論となる模圏構造を論ずる。
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| このサイトについて | eフレンズトップ |
| 利用規約 | ご利用ガイド |
| 特定取引法に基づく表示 | |
| 個人情報の取り扱いについて | お問い合わせ |
