Diagrama kommutatibo

Matematikan, eta batez ere kategorien teorian, diagrama trukakor bat objetuen eta morfismoen diagrama bat da, hurrengo trukatze propietate beteko duena: hasiera eta bukaera bera duen diagramako edozein bide morfismoak konposatuz eginez gero, morfismo bera izango da emaitza. 

Diagrama trukakorrek kategorien teorian betetzen duten papera ekuazioek aljebran dutenaren analogoa dela esan ohi da.

 Adibideak 
Hurrengo diagrama trukakorrak lehenengo isomorfismo teorema adierazten du. Hots,   betetzen dutela morfismoek konposaketarekiko.

261x261px|First isomorphism theorem (plain)

Jarraian dugun diagrama, lauki trukakor orokor bat da. Trukakorra denez, morfismoek konposaketarekiko   betetzen dute.

186x186px|Commutative square

 Erreferentziak 

 Kanpo estekak 

Kategoria:Homologia-aljebra
Kategoria:Kategoria-teoria
Kategoria:Matematika-terminologia
Kategoria:Froga matematikoak
Kategoria:Diagramak