>>347
>スペンサーブラウンの形式の法則
圏論もそうじゃないのかと思っちまうのだが、違うかな?