Teoría de categorías

Qué se descubrió

Lenguaje de objetos, morfismos, funtores y transformaciones naturales que describe estructuras por sus relaciones y no por su contenido. Se convirtió en el idioma de la topología algebraica, la geometría algebraica de Grothendieck y la teoría de tipos.

Los autores la llamaron en broma sinsentido abstracto general.

A qué dio paso

• álgebra homológica
• esquemas de Grothendieck
• programación funcional (mónadas)
• teoría de tipos homotópica

Se apoya en

• Topología algebraica (Analysis Situs): homología y grupo fundamental1895
• álgebra de Noether

Hizo posible

• Conjeturas de Weil y su prueba (cohomología étale, Deligne)1949-1974
• lenguajes funcionales (Haskell)
• demostradores de teoremas

📄 Publicación original

Enlaces