„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 Robot: Kiskötőjel cseréje gondolatjelre |
a →Diagramok: typo |
||
35. sor:
== Diagramok ==
A kategóriaelmélet irányított gráfokkal történő reprezentációja
Egyrészt tetszőleges f, g és h nyilak illetve A, B, C, D objektumok esetén az asszociativitási diagram kommutatív, másrészt tetszőleges A és B objektum esetén egyértelműen léteznek az id<sub>A</sub> és id<sub>B</sub> nyilak, melyekkel tetszőleges f nyíl esetén az egységelemesség diagram kommutatív.
<center>[[Kép:Kategória1.png]]</center>
|