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říklad komutativního diagramu (lemma pěti)

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.