>>255
>圏論でプログラミング仕様を表現できる
そうかな?表現できるってどういう意味でかな?どの範囲が?