本質的全射

圏論において，関手 $F : C \to D$ が本質的全射（ほんしつてきぜんしゃ，英: essentially surjective あるいは dense）であるとは， $D$ の任意の対象 $d$ に対して， $C$ のある対象 $c$ が存在して， $d$ と $Fc$ が同型であることをいう．

外部リンク編集

Essentially surjective functor in nLab

この項目は、圏論に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。

「https://ja.wikipedia.org/w/index.php?title=本質的全射&oldid=90775401」から取得