デカルト射の定義を微妙に間違えて理解してたみたいで、改めて考え直してみた。 また迷うのもいやなので、論理式でメモしておく。まだ完全に自信があるわけではないので、間違ってたらごめんなさい＆教えてください。 上の図を見ながらだとわかりやすいかも…

先日高校の同級生に連絡をとろうと思ったら、電話もメールもダメ。解約したっぽい。 久しぶりに話したいので、みてたら連絡ください。oto.oto.oto@gmail.com とか、電話番号はtwitterの右の方にのせちゃおうかな。

下の一つ目がpullbackならば、二つ目もpullback。逆も成り立つ。 f2 A ------> B ｜ ｜ ｜f1 ｜f3 ↓ ↓ C -----> D f4 f2 A ---------> B ｜ ｜ ｜<f1,f2> ｜<f3,B> ↓ ↓ C×B -----> D×B f4×B合わせると便利: f A ------> B ｜ ｜ ｜A ｜B ↓ ↓ A -----> B fはpullback。</f3,b></f1,f2>

やめてました。

2度ほど飲みに行ったバーのマスター(女性)がメンバーだったらしい。知らなかった。ほー。 多分別人だと思うけど > http://wadaidayo.tomopoko.net/ch1/1_056.php

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

層・圏・トポスの層のところで出てくる層Ωはかなりイメージしにくい。 前回の読書会で、関手としてのΩは*1 O そのものだということを少し話した。 以降、ちょっと考えて、また違う見方を思い付いたので書いておく。前層の層化も少し関係する。位相空間 X の…

前層が与えられたとき、層化して層を作るのは、層・圏・トポスや色んな本にも載っている。層・圏・トポスの方法は普通じゃないけど、普通のやり方は前回の読書会で話した。 その時より少しすっきりした見方ができたけど、また蒸し返すのもあれなんで日記のほ…

有名な式 1/(1-x) = 1+x+x2+x3+… は、|x| この式に x = 10 と代入すると、 1/(1-10) = 1+10+102+103+… となる。左辺は普通に計算し、-1/9 を得る。右辺は発散しているが、気にせず 10 進法で表記してみる: -1/9 = …111111(10) 両辺を 9 倍すると、 -1 = …999…

(冪集合関手と逆像 とちょっと関係するかもしれない。) 写像 f:X → Y を関手として解釈しなおすことを考える。 圏 2X を、 対象: X の部分集合 射: 包含写像。すなわち、X' ⊆ X'' の時、X' → X'' とする。写像 f: X → Y があるとき、圏 2Y から 圏 2X への共…

集合Xのすべての部分集合の集合を冪集合(power set)と呼び、2Xとか、P(X)などと書く。 集合から冪集合を作るというのはどういうことかをカテゴリーで考えてみる。冪集合の構成を集合圏SetsからSetsへの関手として考えたい。集合Xに集合P(X)が対応するはずだ…