2006-11-13 圏論はお釈迦様の手? 研究 主テーマ 会社賢人その1と加算合成関係の話していたら、どうも、圏論で一連の論理展開は整理できるそうです。 加算合成は、圏論でいうところのPushoutに相当するそうで*1、どうもプロセス代数は有名な例だそうです。圏論が本研究の何の役に立つのかよくわかりませんが、数学方面では既知のことをグタグタやってたと いうことだろうか?ということは圏論はお釈迦様の手の平と理解すればいいのだろうか?もう少し手のひらの上でもがこう。 *1:category theory push-out でググるとよくわかる