本質的に射影的な関数

数学、特に圏論において、関手

${\displaystyle F:C\to D}$

の各オブジェクトが の何らかのオブジェクトに対しての形式のオブジェクトと同型である場合、 は本質的に射影的です。 ${\displaystyle d}$${\displaystyle D}$${\displaystyle Fc}$${\displaystyle c}$${\displaystyle C}$

カテゴリーの同値性の一部である任意の関数は本質的に射影的である。部分的な逆として、本質的に射影的である任意の完全かつ忠実な関数はカテゴリーの同値性の一部である。^[1]

• n Labの本質的に全射関手