Una característica recurrente en la teoría de categorías, álgebra abstracta y en algunas otras ramas de las matemáticas, es el uso de diagramas formados por flechas (morfismos) conectando objetos, así como productos y coproductos.