„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)| |
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>
<center><math>(h\circ g)\circ f = h\circ (g\circ f)</math></center>
:E<small>GYSÉGELEM</small>
<center><math>id_B\circ f = f = f \circ id_A</math></center>
egyenlőség.
|