Functor esencialmente sobreyectivo

En matemáticas , específicamente en teoría de categorías , un functor

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

es esencialmente sobreyectivo si cada objeto${\displaystyle d}$de${\displaystyle D}$es isomorfo a un objeto de la forma${\displaystyle Fc}$para algún objeto${\displaystyle c}$de${\displaystyle C}$.

Cualquier funtor que forme parte de una equivalencia de categorías es esencialmente sobreyectivo. Como recíproco parcial, cualquier funtor completo y fiel que sea esencialmente sobreyectivo forma parte de una equivalencia de categorías. ^{[ 1 ]}

• Functor esencialmente sobreyectivo en el n Lab