Inačica od 20. prosinca 2020. u 07:41 uredi Zoran.skoda (razgovor \| doprinosi) 124 edits m →‎Funktori i prirodne transformacije ← Starija izmjena		Inačica od 20. prosinca 2020. u 07:44 uredi ukloni ovu izmjenu Zoran.skoda (razgovor \| doprinosi) 124 edits →‎Odnosi među morfizmima i tipovi morfizama Novija izmjena →
Redak 33: [[automorfizam]] ako ''f'' je izomorfizam s istom domenom i kodomenom. aut(''a'') označava klasu automorfizama od ''a''. [[retrakcija]] (sažimanje) ako ''desni inverz od f postoji'', t.j. ako postoji morfizam {{nowrap\|''g'' : ''b'' → ''a''}} takav da {{nowrap\|1=''f'' ∘ ''g'' = 1<sub>''b''</sub>}}. * prerez (sekcija) ako lijevi ~~invers~~inverz od ''f'' postoji, t.j. ako postoji morfizam {{nowrap\|''g'' : ''b'' → ''a''}} takav da {{nowrap\|1=''g'' ∘ ''f'' = 1<sub>''a''</sub>}}. Za kategoriju kažemo da je balansirana ako je svaki bimorfizam izomorfizam. Na primjer, sve su Abelove kategorije balansirane.

Teorija kategorija: razlika između inačica