Diferencia entre revisiones de «Categoría (matemáticas)»
Contenido eliminado Contenido añadido
→Definición: +notación |
Sin resumen de edición |
||
Línea 1:
En [[matemáticas]], una '''categoría''' es una estructura algebraica que consta de una colección de ''objetos'', conectados unos con otros mediante ''flechas'' tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición.
Un ejemplo clásico es la categoría de conjuntos, cuyos objetos son [[conjunto]]s y cuyas flechas son las [[Función (matemáticas)|
Dos categorías son iguales si tienen la misma colección de objetos, la misma colección de flechas, y la misma forma asociativa de componer flechas. Dos categorías también se pueden considerar equivalentes incluso si no son precisamente la misma. Muchas categorías muy cotidianas se denotan comunmente con una abreviación del tipo de sus objetos, por ejemplo: '''Con''' se refiere a la [[categoría de conjuntos]], '''Top''' se refiere a la [[categoría de espacios topológicos]], '''Ab''' se refiere a la [[categoría de grupos abelianos]], etc.
| |||