2010-02-01から1ヶ月間の記事一覧
例によって、「層・圏・トポス」を読んでて分からなかったので考えてみた。25ページあたり。 出てくる層はすべてX上。層の表し方として、関手スタイルと層空間スタイル(空間Yと局所同相写像p: Y → X)を無断で混ぜて書く。 理解したいのはPullback Y0 -----> …
例によって、「層・圏・トポス」を読んでて分からなかったので考えてみた。25ページあたり。 出てくる層はすべてX上。層の表し方として、関手スタイルと層空間スタイル(空間Yと局所同相写像p: Y → X)を無断で混ぜて書く。 理解したいのはPullback Y0 -----> …