Zoran Skoda
esencijalno surjektivan funktor

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

Vrlo je važan teorem

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

Created on December 7, 2009 at 16:07:33. See the history of this page for a list of all contributions to it.