射：　単純な関数 * x → x　id射 と呼び、対象の定義と同一視出来るので、圏論には基本として矢印以外は存在しないと明言可能。 * x ⇔ y　isomorphism と言い、同値関係を表す。