(category theory) A unique morphism corresponding to each object of a category, which has its domain equal to its codomain, and which composed with any morphism (with which it is composable) gives that same morphism.
identity morphism
任意の圏において、ある対象の恒等射は合成の単位元として働き、合成可能な任意の射と合成してもその射を変えません。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
