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