本質的全射
(Essentially surjective functor から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/09/08 09:41 UTC 版)
圏論において,関手 F: C → D が本質的全射(ほんしつてきぜんしゃ,英: essentially surjective あるいは dense)であるとは,D の任意の対象 d に対して,C のある対象 c が存在して,d と Fc が同型であることをいう.
外部リンク
|
- 本質的全射のページへのリンク