En la superficie, parece que la categoría de la teoría sería una muy natural y útil herramienta matemática para abordar el objeto de gráfico de transformación. Sin embargo, los primeros indicios de búsquedas en línea parecen indicar que no ha tenido mucho uso en la práctica. La mayoría de los trabajos citados se parece a punto de Minas y Schneider en "Gráfico de la Transformación por Computacional de la Categoría de Teoría".
Esto me lleva a preguntarme por qué los "naturales" de la semántica de los morfismos en la categoría de la teoría y la $Grph$ categoría no son explotados de manera más amplia para este propósito. Después de un breve relevamiento de Minas y Schneirder de papel, yo no lo veo como un potente y ágil herramienta para el gráfico se transforma. El uso de álgebra de matrices booleanas parece casi tan poderoso, más conciso, y muy eficiente computacionalmente.
Tengo curiosidad por saber si la utilidad de la categoría de la teoría para este propósito es conocido por ser débil, ya que yo estaba interesado en la posibilidad de usar como una base para algún trabajo. Estoy interesado en el aprendizaje de su conocimiento y/o experiencia sobre este tema.
