Int（GoI）構成

• Int（GoI）構成 ： トレース付き対称モノイド圏CからInt構成（GoI構成）により圏Gを作る。構成したGが実際に圏であることを確認する。

図が右にかしいだり、左にかしいだり、、、まっ、いいや。