『数学』 https://www.jstage.jst.go.jp/browse/sugaku/-char/ja/京都大学数理解析研究所講究録 http://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/24851日本物理学会誌 http://ci.nii.ac.jp/vol_issue/nels/AN00196952_jp.html素粒子論研究 http:/…

牛乳有害論というのがあるらしい。日本に於ける主要な出所は以下の2冊の本っぽい乳がんと牛乳──がん細胞はなぜ消えたのか http://www.amazon.co.jp/dp/4770502001葬られた「第二のマクガバン報告」(原題：The China Study) http://www.amazon.co.jp/dp/49014…

higher categoryのcoherence条件は正式にはoperadで定義して、特にhigher associativityに関する部分は、associahedra operadで記述できることになってるらしいけど、アイデア自体は、operadなしでも理解できると思う(associahedronの後にoperadが見つかった…

http://d.hatena.ne.jp/m-a-o/20110325#p1 の(2)の終わりで、functional extensionalityを仮定しない限り、Coqのtupleは圏論的な意味での直積になってることは言えないと書いた。それでも、モノイダル積にはなってるだろうと思ってたのだけど、実際にCoqで証…

少し前に「ε-δの何が重要なのか分からない」と言ってる人がいて、自然数の理解がペアノの公理に根ざしてるわけでないとか、ユークリッド幾何を理解するのにユークリッドの公理が必須でないというこは明らかなのに、ある程度新しい数学になると、そういう風に…