He escuchado que alguien se ideó una forma de utilizar la teoría de la categoría, que implica algo que se llama topoi, como base para las matemáticas. ¿Si esto es cierto entonces hay los textos que explican un enfoque tan categórico a fundaciones? Preferiblemente uno que es autónomo, como estoy seguro de que podría, con el tiempo, me enseñan la teoría de la categoría requerida... Prefiero tenerlo liado para arriba en un paquete para mí.
Respuesta
¿Demasiados anuncios?
El mejor libro para su propósito sería McLarty, categorías elementales, Toposes elementales.
