„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
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) |
||
49. sor:
=== Interpretáció ===
El kell kissé rugaszkodnunk az interpretáció szokásos, '''ZFC'''-beli értelmezésétől, hiszen egy kategória objektumainak összessége általában valódi osztály, melyet inkább az '''[[Neumann–Bernays–Gödel-halmazelmélet|NBG]]'''-tud kezelni.
Osztályok (Obj, Mor, Arr, Komp) „négyese” a kategóriaelmélet egy interpretációja (vagy egyszerűen kategória), ha Obj tetszőleges nemüres osztály, Mor tetszőleges, nemüres osztály, Arr rendezett hármasok olyan osztálya, melynek első eleme Mor beli, a többi Obj beli, Komp pedig Mor × Mor -on értelmezett, Mor-ba képező funktor (azaz osztály-leképezés).
| |||