Komutativní diagram
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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.