圏論で何をするわけでもない。別にいらないだろう。