Teoría das categorías: Diferenzas entre revisións

Contido eliminado Contido engadido
Jglamela (conversa | contribucións)
Arranxos
Jglamela (conversa | contribucións)
Liña 15:
A única operación esixida nunha categoría é a ''composición.'' A composición en categorías é unha xeneralización da [[composición de funcións]] da [[teoría de conxuntos]].
 
Na teoría dos conxuntos, dadas dúas funcións <math>f:A\rightarrow B</math> ( que tendoten como dominio o conxunto <math >A</math> e como codominio o conxunto <math >B</math>) e <math>g:B\rightarrow C</math>, defínese <math>h:A\rightarrow C</math> como sendo a composición de <math >f</math> e <math >g</math>, <math>h=g\circ f</math>, desde que <math >h(x)=g(f(x))</math> para todo <math>x\in A</math>.
 
== Definición de categoría ==