Diferencia entre revisiones de «Teoría de categorías»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 190.158.133.244 a la última edición de Muro Bot |
||
Línea 1:
[[Archivo:NaturalTransformation-01.png|thumb|250px|right|Ejemplo de diagrama conmutativo]]
computacionales del [[Álgebra homológica]] y más tarde por las necesidad de axiomáticas en [[Geometría algebraica]], que era el campo más reacio a pasar por el aro de los fundamentos unificadores ''à la'' [[Bertrand Russell|Russell]]-[[Alfred North Whitehead|Whitehead]]. La teoría general -cierta actualización del [[Álgebra universal]] con muchas características nuevas que daban pie a una cierta flexibilidad en semántica y lógicas de orden superior- vino más tarde.▼
La '''teoría de categorías''' es una teoría [[Matemáticas|matemática]] que trata de forma abstracta con las estructuras matemáticas y sus relaciones.
La teoría de las categorías fue introducida en [[Topología algebraica]], por [[Samuel Eilenberg]] y [[Saunders MacLane]], en un importante paso para la transición desde [[Homología (matemática)|homología]] (un concepto geométrico intuitivo) a [[Teoría de la homología]] (una materia [[Axioma|axiomática]]). Se ha reclamado que existieron ideas parecidas en la escuela polaca de los años [[1930]] (ver [[Stanislaw Ulam]]).
▲Los desarrollos subsiguientes de la teoría fueron impulsados por las necesidades computacionales del [[Álgebra homológica]] y más tarde por las necesidad de axiomáticas en [[Geometría algebraica]], que era el campo más reacio a pasar por el aro de los fundamentos unificadores ''à la'' [[Bertrand Russell|Russell]]-[[Alfred North Whitehead|Whitehead]]. La teoría general -cierta actualización del [[Álgebra universal]] con muchas características nuevas que daban pie a una cierta flexibilidad en semántica y lógicas de orden superior- vino más tarde.
Las aplicaciones de esta teoría en fundamentos están provocando cierta controversia {{cita requerida}}.
| |||