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 surjective into the corresponding target hom-set.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
full functor
Edit Histories（0）
Source Word
full functor
Noun
Japanese Meaning
圏論において、ソースの圏からターゲットの圏へ射を写す際、各Hom集合（射集合）上での写像が全射（surjective）となるような関手のこと。つまり、全ての対象の射に対して、その像が対応するターゲットの射集合を網羅する関手。
（ plural ）
