今日は色々書いた。が、まだ書くことはある。今日は無理そうだが。 関手 F:C→D があるときに、g∈D に対して、逆像F-1(f) を二部グラフとみて、この二部グラフ上の圏に値を持つラベリングを前送りする方法。ユニオン型の前送りとジョイン型の前送りを具体的に…

オッカムの剃刀（英: Occam's razor）→ http://ja.wikipedia.org/wiki/%E3%82%AA%E3%83%83%E3%82%AB%E3%83%A0%E3%81%AE%E5%89%83%E5%88%80 必要が無いなら多くのものを定立してはならない。少数の論理でよい場合は多数の論理を定立してはならない 説明のため…

空間レイアウト、時間スケジュール、カメラのパン - 檜山正幸のキマイラ飼育記 メモ編 ボンドとその誘導ルール - 檜山正幸のキマイラ飼育記 メモ編 ↑に関係する話。スピヴァックのOlog論文を1/3くらい読んだ。さすがにスピヴァック、あのニイチャンはいいこ…

「圏ラベル付きのグラフ」という概念を何度か出したことがある。イエッター（Yetter）らの関手結び目理論でもそういうもの（圏ラベル付きのタングル）が出てくる。これは結局、関手の表現（presentation、representationではない）になっている。物理で「場…