圏論の話になってくると、ちょっとぼくにはついていけないですが。。。知識が足りない