|
内容紹介・もくじなど
内容紹介:圏と関手で「集合と位相」を表現すれば「被覆、層、トポス」になる。トポスの射は関手の随伴対なので高次の圏が必要になる。対応する高次被覆の文法は、ホモトピー論で模圏(Quillenモデル圏)といわれる構造になる。初等的な集合論と位相空間論をもとに、トポスでの抽象単体ホモトピー論となる模圏構造を論ずる。
内容紹介:圏と関手で「集合と位相」を表現すれば「被覆、層、トポス」になる。トポスの射は関手の随伴対なので高次の圏が必要になる。対応する高次被覆の文法は、ホモトピー論で模圏(Quillenモデル圏)といわれる構造になる。初等的な集合論と位相空間論をもとに、トポスでの抽象単体ホモトピー論となる模圏構造を論ずる。
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||