原田雅名の作品一覧

圏と関手で「集合と位相」を表現すれば「被覆，層，トポス」になる．トポスの射は関手の随伴対なので高次の圏が必要になる．対応する高次被覆の文法は，ホモトピー論で模圏（Ｑｕｉｌｌｅｎモデル圏）といわれる構造になる．初等的な集合論と位相空間論をもとに，トポスでの抽象単体ホモトピー論となる模圏構造を論ずる．※この電子書籍は「固定レイアウト型」で作成されており，タブレットなど大きなディスプレイを備えた端末で読むことに適しています．また，文字だけを拡大すること，文字列のハイライト，検索，辞書の参照，引用などの機能は使用できません．