Categoría (matemáticas): Diferenzas entre revisións
Contido eliminado Contido engadido
Imaxe |
|||
Liña 1:
{{enuso}}
[[Ficheiro:Category_SVG.svg|miniatura|Categoría formada por unha colección de tres obxectos: ''A'', ''B'', ''C'' e unha colección de morfismos denotados por ''f'', ''g'', e g ∘ f; os lazos son identidades.]]
En [[teoría de categorías]], unha categoría é unha [[Estrutura alxébrica|estrutura algebraica]] que consta dunha colección de ''obxectos'', conectados uns con outros mediante ''[[funtor|frechas]]'' tales que se cumpren as seguintes propiedades básicas: as frechas pódense compor unhas con outras de maneira [[Asociatividade (álxebra)|asociativa]], e para cada obxecto existe unha frecha que se comporta como un [[elemento neutro]] baixo a composición.
| |||