(category theory) A functor which maps morphisms from its source to its target category in such a way that the restriction of that mapping to any source hom-set is injective into the corresponding target hom-set.
faithful functor
各ホム集合に対して単射となる函手は、異なる射を標的圏の異なる射に写すことで区別できる。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
