例えば集合の圏における二つの射（＝写像）の同一性は、koher さんが書いたように始域の任意の要素に対して同じ値を対応させるか、によって定義します。