なんか笑った。
やっぱ圏論ってそういうこと考えちゃう学問なんだね。