El matemático F. W. Lawvere es uno de los bichos más importantes del acontecimiento que tuvo lugar en los años 40 y sucesivos (del siglo XX) con el surgimiento de la teoría de categorías, al que siguió la conceptualización de los topos (una importante familia de categorías de cierto tipo). Estos topos, como algo activo, como factiche, digamos, son una "invención" de los maravillosos tríos y múltiples de matemáticos que podemos asociar a estos y más nombres: Grothendieck-Lawvere-Tierney...
En la especie de proyecto sin trabajar que tengo por ahí, tengo escrita alguna que otra información sobre un libro semi-divulgativo (pero de purita matemática) que ha escrito junto a Schanuel. Podéis ver algo que sirve como introducción aquí:
-
"De pastores, números y flechas".
La teoría de categorías es algo fundamental por ejemplo para los fundamentos de la fundamental "ciencia" que llamamos "matemáticas" y que tienen un poco que ver por ejemplo con nuestros a veces olvidados aparatos llamados cerebros.
William Lawvere (y meteremos a su tiempo aquí a Schanuel, y largo etc. de "matemáticos")
