„Kategória (matematika)” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
a →‎Példák: test (algebra)|
Cherybot (vitalap | szerkesztései)
a Robot: Kiskötőjel cseréje gondolatjelre
9. sor:
egy A-ból kiinduló, C-be érkező nyíl, melyet f és g egyértelműen meghatároz.
Mindezen alapfogalmakra a következő kategóriaaxiómák teljesülnek:
:A<small>SSZOCIATIVITÁS</small> - Ha A, B, C és D tetszőleges objektumok a '''C''' kategóriában és f: A <math>\rightarrow</math> B, g: B <math>\rightarrow</math> C és h : C <math>\rightarrow</math> D nyilak, akkor
<center><math>(h\circ g)\circ f = h\circ (g\circ f)</math></center>
:E<small>GYSÉGELEM</small> - Minden X objektumhoz létezik olyan id<sub>X</sub> : X <math>\rightarrow</math> X nyíl, hogy tetszőleges A, B objektumra és f : A <math>\rightarrow</math> B nyílra fennáll az
<center><math>id_B\circ f = f = f \circ id_A</math></center>
egyenlőség.