Diferencia entre revisiones de «Categoría (matemáticas)»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 189.236.38.153 (disc.) a la última edición de InternetArchiveBot Etiqueta: Reversión |
|||
Línea 7:
== Definición ==
Una '''categoría''' '''C''' consta de
* una clase ob('''
* para cada par de objetos ''A'', ''B'' en ob('''C''') un conjunto '''C'''(''A'',''B'') de '''flechas''' o '''morfismos''' de ''A'' a ''B''.
* para cada terna de objetos ''A'', ''B'', ''C'' de '''C''' una función ∘:'''C'''(''A'',''B'')×'''C'''(''B'',''C'')→'''C'''(''A'',''C'') donde ∘(''f'',''g'') se denota ''g'' ∘ ''f''.
| |||