A faithful functor can distinguish non-equal morphisms by mapping them to distinct morphisms in the target category.
各ホム集合に対して単射となる函手は、異なる射を標的圏の異なる射に写すことで区別できる。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
