Diagram komutatif itu apa sih?

Dalam matematika, khususnya dalam bidang aljabar dan teori kategori, suatu diagram dikatakan sebagai diagram komutatif jika untuk suatu objek  dan , setiap lintasan yang berawal di  dan berakhir di  sama. Diagram komutatif adalah alat yang banyak digunakan dalam studi teori kategori untuk meninjau suatu identitas berlaku dalam komposisi morfisma