Teoria de categories: diferència entre les revisions
Contingut suprimit Contingut afegit
Línia 7:
1) una classe d'objectes de <math>\mathcal{A}</math>, anomenat <math>{Ob(}\mathcal{A})</math>.
2) per tot <math>{A,B} \in {Ob(}\mathcal{A}{)}</math>, un conjunt de morfismes de <math>A_{}^{}</math> en <math>B_{}^{}</math>'', anomenat <math>{Mor_{ \mathcal{A} }(A,B)}_{}^{}</math>. Els seus elements <math>{f}\in {Mor_{ \mathcal{A} }(A,B)}</math> s'escriuen com <math>{f:A}\rightarrow B</math>
3) per tot <math>{A,B,C,D} \in {Ob(}\mathcal{A}{)}</math>, i per tot <math>{f}\in {Mor_{ \mathcal{A} }(A,B)}</math>, <math>{g}\in {Mor_{ \mathcal{A} }(B,C)}</math> es compleixen les següents propietats:
| |||