Aplicaciones de la Teoría de Modelos y la Teoría de Categorías

Question

¿La Teoría de Modelos y la Teoría de Categorías tienen aplicaciones en la resolución de problemas de Complejidad y Teoría de Juegos en la informática? Estoy buscando un ejemplo de estos... (Si los hay...)

Answer 1

No estoy lo suficientemente versado en el tema como para establecer alguna relación entre la Teoría de la Complejidad y la Teoría de Categorías, pero esta página de nLab contiene algunas referencias a la Teoría de Juegos. En mi opinión, nLab es una referencia maravillosa para la Teoría de Categorías, ¡y está bastante bien organizada en sus referencias!