検索内容:
任意の圏において、ある対象の恒等射は合成の単位元として働き、合成可能な任意の射と合成してもその射を変えません。
多くの圏では、恒等射は合成における単位元として振る舞い、他の射を変えない。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★