Diferencia entre revisiones de «Categoría (matemáticas)»
Contenido eliminado Contenido añadido
mSin resumen de edición |
Sin resumen de edición |
||
Línea 1:
En [[teoría de categorías]], una '''categoría''' es una [[estructura algebraica]] que consta de una colección de ''objetos'', conectados unos con otros mediante ''[[
Un ejemplo clásico es la [[categoría de conjuntos]], cuyos objetos son [[conjunto]]s y cuyas flechas son las [[Función (matemáticas)|funciones]], y donde la composición de flechas es la composición usual de funciones. En general, los objetos y las flechas pueden ser objetos abstractos de cualquier tipo, y la noción de categoría provee de una manera abstracta y fundamental para describir entidades matemáticas y sus relaciones. Esta es la idea central de la [[teoría de categorías]], una rama de las matemáticas que busca generalizar todas las demás teorías matemáticas en términos de objetos y flechas. Prácticamente cualquier rama de las matemáticas modernas se puede describir en términos de categorías, y mediante esta descripción, es común que se revelen propiedades y similitudes muy profundas entre áreas aparentemente distintas. Para notas históricas y fundamentos más profundos véase [[teoría de categorías]].
|