Last Updated：2025/12/04
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
faithful functor
Edit Histories（0）
Source Word
faithful functor
Noun
Japanese Meaning
カテゴリ理論における忠実な関手。すなわち、始源となるカテゴリの各ホム集合における射の写像が、その対応する対象のホム集合内で単射（すなわち異なる射が異なる像に写る）となるように定義される関手を指す。
（ plural ）
