Komutativní diagram
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f8/5_lemma.svg/220px-5_lemma.svg.png)
Komutativní diagram je v teorii kategorií graf, jehož všechny (orientované) cesty z jistého vrcholu A do jiného vrcholu B reprezentují stejný morfismus. Jako první je ve svých pracích týkajících se topologie používal Witold Hurewicz.
Příkladem pravidel vyjadřitelných komutativním diagramem je třeba asociativita skládání funktorů nebo přirozenost transformací mezi funktory.
Komutativní diagramy lze použít i k popisu chování bifunktorů, jako například Hom funktoru.
Externí odkazy
Obrázky, zvuky či videa k tématu komutativní diagram na Wikimedia Commons