以前から、数学での圏論の使い方とlogicやCSでの圏論の使われ方は、なにかが違うという気がしていて、なんかそんな話。感覚的な話かつかなり独断に基づいてるので、突っ込みどころは沢山あるだろうけどわたし自身の偏見では、数学で重要な圏は、ある代数系の…

藤田の公理を確認 http://en.wikipedia.org/wiki/Huzita%27s_axioms 聞いた瞬間に思ったのが、「折り紙可能な数」は、有理数体から二次拡大と三次拡大を繰り返して得られるものに限るか?という疑問だったのだけど、当然のごとく解決済みだった Origami-Const…