Me han dicho que (Serge) Lang nunca se ha enamorado de las categorías, por utilizar un eufemismo cortés. Otras personas afirman que, en alguna ocasión, incluso ha declarado su falta de interés por el tema en un tono algo áspero . Sin embargo, no he podido encontrar nada (explícito) en su obra a favor de estas afirmaciones. ¿Existe algún documento (una carta, un artículo, un libro, ...) donde se pueda leer claramente su punto de vista sobre la teoría de categorías? ¿Hay alguna anécdota o episodio personal que eventualmente pudiera contar al respecto?
Respuesta
¿Demasiados anuncios?De la p.105 de la primera edición de Lang's Álgebra en el apartado EJERCICIOS:
Tome cualquier libro de álgebra homológica y demuestre todos los teoremas sin mirar las pruebas de ese libro.
El alebgra homológico fue inventado por Eilenberg-MacLane. La teoría general de categorías (es decir, la teoría de los resultados de la teoría de flechas) se conoce generalmente como sinsentido abstracto (la terminología se debe a Steenrod).
En respuesta al comentario de amWhy, he mirado la 3ª edición revisada del libro, donde la sección sobre Álgebra Homológica contiene una versión mucho más amable pero aún reconocible de lo anterior:
En los años cuarenta y cincuenta (sobre todo en los trabajos de Cartan, Eilenberg, MacLane y Steenrod, véase [CaE 57]), se comprendió que había una manera sistemática de desarrollar ciertas relaciones del álgebra lineal, dependiendo sólo de construcciones bastante generales que eran en su mayoría teóricas de flechas, y que se llamaron cariñosamente sinsentido abstracto por Steenrod.
Según esta respuesta MO La cita no varía entre la primera y la segunda edición.