Zoran Skoda esencijalno surjektivan funktor

Neka su $C,D$ dvije kategorije. Kažemo da je funktor $F:C\to D$ esencijalno surjektivan na objektima (e.s.o. ili naprosto esencijalno surjektivan) ako za svaki objekt $d\in Ob(D)$ postoji objekt $c\in Ob(C)$ i izomorfizam $(F(c)\stackrel{f}\to d)\in Mor(D)$.

Vrlo je važan teorem

Teorem. Funktor $F:C\to D$ je ekvivalencija kategorija onda i samo onda ako je pun, vjeran i esencijalno surjektivan.