por Alberto MEJÍAS
Existe una red de analogías entre Física, Topología, Lógica e Informática. En esta exposición, se precisan algunas de estas analogías, utilizando el concepto de Categoría Monoidal Simétrica Cerrada. No se asume ningún conocimiento previo de Teoría de Categorías, Teoría de Demostración o Informática.
21 noviembre 2015