Teorija kategorija: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
Nema sažetka uređivanja
Redak 22:
 
=== Odnosi među morfizmima i tipovi morfizama ===
Relacije između morfizama (poput {{nowrap|1=''fg'' = ''h''}}) često se prikazuju grafički pomoću [[Komutativni dijagram|komutativnih dijagrama]], sa "točkama" (kutevimavrhovima) predstavljajući objekte i "strelicestrelicama" predstavljajući morfizme. Komutativnost dijagrama označava da kompozicija svih morfizama uzduž bilo koja dva usmjerena puta s međusobno istim početkom i međusobno istim krajem ima isti rezultat (ne ovisi o putu).
 
[[Morfizam|Morfizmi]] mogu imati bilo koja od sljedećih svojstava. Morfizam {{nowrap|''f'' : ''a'' → ''b''}} je: