Diagrama conmutativo
De Wikipedia, la enciclopedia encyclopedia
En matemática, y especialmente en teoría de categorías, un diagrama conmutativo es un diagrama de objetos (también conocidos como vértices), morfismos (también conocidos como flechas o aristas) y rutas o caminos, tales que todas las rutas directas en el diagrama con los mismos puntos finales y mismo comienzo conducen al mismo resultado por composición[1]. Los diagramas conmutativos desempeñan un papel fundamental en teoría de categorías al igual que las ecuaciones lo hacen en álgebra.
Nótese que un diagrama puede ser no conmutativo, por ejemplo la composición de diferentes rutas en el diagrama puede no dar el mismo resultado. Para clarificar, se pueden usar frases como «este diagrama conmutativo» o «el diagrama conmuta».