Este artículo técnico explora la semántica categórica de los e-graphs (gráficos de igualdad), una estructura de datos que mantiene una relación de congruencia sobre árboles de expresiones. Aunque los e-graphs fueron introducidos por Nelson y Oppen en 1980 y ganaron popularidad gracias a la herramienta egg, su naturaleza visual sugiere que conceptos categóricos subyacen a su funcionamiento. El texto aborda la manipulación de diagramas en categorías finitamente presentadas, introduciendo el concepto de funtor inicial como herramienta fundamental para el razonamiento ecuacional.
El autor define el diagrama como un functor desde una categoría de índice hacia la categoría objetivo, destacando la diferencia entre la libertad de la forma del diagrama y su comutatividad. Se argumenta que, aunque la teoría de grafos permite describir diagramas finitamente presentados, la teoría de categorías es indispensable para describir de forma concisa las manipulaciones válidas, que se formalizan como morfismos entre diagramas. Para garantizar que estas transformaciones preserven las soluciones de las ecuaciones, se requiere que el functor de transformación sea inicial. El artículo detalla tres condiciones equivalentes para definir la inicialidad: la preservación de límites por retrotracción, la biyección entre límites de conjuntos y la conectividad de las categorías de colgantes relativas. Este enfoque permite derivar nuevas ecuaciones manipulando diagramas, estableciendo una base operativa y categórica para el cálculo simbólico avanzado.