>>272
だから圏論はやっても無駄とか無意味といいたいのか?