Diagram przemienny
Z Wikipedii, wolnej encyclopedia
Diagram przemienny – w matematyce, a szczególnie w teorii kategorii, diagram składający się z obiektów (nazywanych również wierzchołkami) i morfizmów (znanych także jako strzałki lub krawędzie), w którym wybranie dowolnej drogi skierowanej między dwoma jego obiektami prowadzi do tego samego wyniku ze względu na składanie morfizmów. Diagramy przemienne odgrywają w teorii kategorii rolę analogiczną do równań w algebrze.