>>570
オブジェクトに言及しちゃったら圏論のありがたみが消える
原理主義派ならオブジェクトに言及した時点で圏論ではないと言わなければならない