Komutativní diagram
typ diagramu používaného v teorii kategorií
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.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f8/5_lemma.svg/220px-5_lemma.svg.png)
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
editovat- Obrázky, zvuky či videa k tématu komutativní diagram na Wikimedia Commons