@Kuniwak#7542 はい、圏論では始域と終域の同一性は課します。 (edited)