(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.
full functor
各ホム集合への写像が対応するホム集合へ全射になる函手は、像の圏だけで射の性質を研究できることが多い。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
