Funktor je vjeran ako za svaka dva objekta restrikcija funktora na morfizme iz u je injektivna funkcija tj. za svaka dva morfizma , povlači .
Drugim riječima, za svaka dva objekta , preslikavanje je injektivno.
Primijeti da mogu postojati neki i i tako da , tj. injektivnost se traži samo kad se restringira na svaki fiksni skup , a ne na cijeloj klasi odjednom.
Created on December 7, 2009 at 16:24:20. See the history of this page for a list of all contributions to it.