横浜やべ〜
一日が秒で終わる
アー
ようわからぬ
ぬぬぬ
衒学的になったら負けみたいなところがある、自分の頭で考えなくては
うへーもうこんな時間
圏のファイブレーション - 檜山正幸のキマイラ飼育記 (はてなBlog)
檜山正幸のキマイラ飼育記 (はてなBlog)
圏のファイブレーション - 檜山正幸のキマイラ飼育記 (はてなBlog)
渋谷に行くのは億劫になったので、圏のファイブレーションでも調べようか、と。スピヴァックがグロタンデ...
Jacobs がよくできた本すぎるんだよにゃあ、そのあとで下位互換みたいな論文出てたりするし……
ハイパードクトリンだのトライポスだのでみんないまだに添字圏を使ってるのがよくわからないぞ、もう Bénabou から 40 年、Jacobs からでも 20 年経ってるのに。半順序ファイブレーションは必ず分裂するとは言っても、全体圏が見えた方がいい気がするけどなー