対象の族と射の族の型を変更した 今回定義している圏のトレイトCategoryの中には、対象のHashSet（C0）と射のHashSet（C1）を返すメソッドが定義されていました。今回、思うところもあってHashSetからIteratorに変更しました。気分の問題といえばそこまでで…