Diagram komutatif

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