本質的全射

圏論において，関手  が本質的全射（ほんしつてきぜんしゃ， あるいは dense）であるとは， の任意の対象  に対して， のある対象  が存在して， と  が同型であることをいう．

外部リンク

関手
数学に関する記事