始域と終域が同じであることは射の同一性の必要条件な気がしますね。ということは暗黙的に対象の equality も定義することが求められている？ (edited)