Introducción a la teoría de categorías, lógica y topos elementales para una mente curiosa - Sánchez Guevara, Jesús E. 1983-