以下、「集合」「写像」は、前回までに準備した、拡張された意味で用いるものとします。 圏を構成するもの 圏(category)は、以下のようなものによって構成されます。 対象の集合 射の集合 二つの写像 恒等射を定める写像 射の合成を定める写像 、ただし 、ま…