(category theory) A category whose morphisms are all identity morphisms.
discrete category
函手を導入する際、教授はしばしば離散圏を明確な例として用います。離散圏はすべての射が恒等射である圏です。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★