Inačica od 7. siječnja 2020. u 07:41 uredi Tenkikan (razgovor \| doprinosi) 13 edits Popravak poveznica i pravopisa Oznaka: VisualEditor ← Starija izmjena		Inačica od 7. siječnja 2020. u 08:40 uredi ukloni ovu izmjenu Tenkikan (razgovor \| doprinosi) 13 edits m Dodavanje poveznica i manje izmjene u tekstu Oznaka: VisualEditor Novija izmjena →
Redak 11: * Klasa ob(''C''), čiji elementi se zovu objekti; * Klasa hom(''C''), čiji elementi se zovu [[Morfizam\|morfizmi]] ili [[~~:en:Map_~~Preslika (~~mathematics~~matematika)\|~~slike~~preslike]] ili ''strelice''. Svaki morfizam '''''f''''' ima ''izvor objekt '''a''''' i ''cilj objekt '''b'''''. Izraz {{nowrap\|''f'' : ''a'' → ''b''}}, izgovara se kao "''f'' je morfizam iz ''a'' u ''b''". Izraz {{nowrap\|'''hom(''a'', ''b'')'''}} – alternativno izražen kao {{nowrap\|'''hom<sub>''C''</sub>(''a'', ''b'')'''}}, {{nowrap\|'''mor(''a'', ''b'')'''}}, ili {{nowrap\|'''''C''(''a'', ''b'')'''}} – označuje ''hom-klasu'' svih morfizama iz ''a'' u ''b''. [[Binarna operacija]] ∘, zvana ''kompozicija morfizama'', takva da za bilo koja tri objekta ''a'', ''b'', i ''c'', vrijedi {{nowrap\|∘ : hom(''b'', ''c'') × hom(''a'', ''b'') → hom(''a'', ''c'')}}. Kompozicija {{nowrap\|''f'' : ''a'' → ''b''}} i {{nowrap\|''g'' : ''b'' → ''c''}} se zapisuje {{nowrap\|''g'' ∘ ''f''}} ili ''gf'', vladana sljedećim dvijema aksiomima: *[[Asocijativnost]]: Ako je {{nowrap\|''f'' : ''a'' → ''b''}}, {{nowrap\|''g'' : ''b'' → ''c''}} i {{nowrap\|''h'' : ''c'' → ''d''}} onda {{nowrap\|1=''h'' ∘ (''g'' ∘ ''f'') = (''h'' ∘ ''g'') ∘ ''f''}}, i

Teorija kategorija: razlika između inačica