Zoran Skoda pun funktor

Funktor $F:C\to D$ je pun (ili potpun) ako za svaka dva objekta $c,c'$ u $C$ preslikavanje

$$F|_{Hom_C(c,c')}:Hom_C(c,c')\to Hom_D(F(c),F(c'))$$

je surjektivno preslikavanje.

Ako je funktor $F$ istovremeno pun i vjeran, ponekad kažemo da je $F$ ulaganje kategorija.