本質的全射

出典: フリー百科事典『ウィキペディア(Wikipedia)』

移動先: 案内検索

圏論において,関手 F: CD本質的全射(ほんしつてきぜんしゃ,: essentially surjective あるいは dense)であるとは,D の任意の対象 d に対して,C のある対象 c が存在して,dFc が同型であることをいう.