本質的全射
圏論において，関手 F: C → D が本質的全射（ほんしつてきぜんしゃ，英: essentially surjective あるいは dense）であるとは，D の任意の対象 d に対して，C のある対象 c が存在して，d と Fc が同型であることをいう．
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.