El estudio de las interacciones entre agentes intencionales, con la racionalidad siendo la principal fuente de comportamiento intencional, requiere herramientas matemáticas capaces de capturar efectos sistémicos. Aquí elegimos un conjunto de herramientas alternativo basado en la Teoría de Categorías. Examinamos posibles formalismos, presentando tres categorías: , , y una que las engloba, . Esta última permite representar reorganizaciones dinámicas de las interacciones entre diferentes agentes. Los sistemas representados en capturan las interacciones dinámicas entre las interfaces de sus subagentes, cambiando las conexiones entre ellos basadas en sus estados internos. Ilustramos el poder expresivo de este formalismo en cuatro instancias diferentes, proporcionando a los profesionales una caja de herramientas para representar casos de interés y facilitar su análisis modular.