>>499
だから何？
だから圏論は機械にまかせておけばよいと？
だから圏論なんて人間のやることではないと？
だから圏論なんて無意味だと？

因みにさっきからいってるけど
圏論のほとんどの命題は計算機で証明出来てないから