Teorija kategorija: razlika između inačica
Izbrisani sadržaj Dodani sadržaj
Redak 19:
** aksiom [[Identiteta|identite]]: Za svaki objekt ''x'', postoji morfizam {{nowrap|1<sub>''x''</sub> : ''x'' → ''x''}} zvan ''morfizam identitete za x'', takav da za svaki morfizam {{nowrap|''f'' : ''a'' → ''b''}}, vrijedi {{nowrap|1=1<sub>''b''</sub> ∘ ''f'' = ''f'' = ''f'' ∘ 1<sub>''a''</sub>}}. Slijedi da je morfizam identitete za svaki objekt jedinstven.
Za kategoriju kažemo da je '''mala''' ako su klase Ob(''C'')
=== Odnosi među morfizmima i tipovi morfizama ===
| |||