圏論そのものなんて、アブストラクトナンセンスってやつだろ?