Diferencia entre revisiones de «Categoría (matemáticas)»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Desambiguando enlaces a Identidad (enlace cambiado a Identidad (matemática)) con DisamAssist. |
||
Línea 13:
Además, los siguientes axiomas deben ser ciertos:
* ([[Asociatividad (álgebra)|Asociatividad]]) para cualquier terna de flechas ''f'',''g'',''h'' se cumple que ''h'' ∘ (''g'' ∘ ''f'')=(''h'' ∘ ''g'') ∘ ''f'', si es que estas composiciones están definidas.
* ([[Identidad (matemática)|Identidad]]) para todo objeto ''A'' en ob('''C''') existe una flecha en '''C'''(''A'',''A'') comúnmente denotada 1<sub>''A''</sub> tal que para toda flecha ''f'' en '''C'''(''A'';''B'') ''f''=1<sub>''B''</sub> ∘ ''f'' y ''f''=''f'' ∘ 1<sub>''A''</sub>.
De estos axiomas se puede deducir fácilmente que existe una única flecha identidad para cada objeto.
| |||