Diagram (kategóriaelmélet)

A diagram a kategóriaelméletben egy indexelt halmaz kategorikus analógja a halmazelméletben, a fő különbség az, hogy egy kategóriában vannak olyan morfizmusok, amelyeket szintén indexelni kell.

A típusdiagram egy kategóriában kovariáns függvényként van definiálva ; egy kategóriát indexkategóriának vagy diagramsémának is neveznek . Egy diagramot kicsinek vagy végesnek nevezünk , ha a kategória kicsi vagy véges . A kategórián belüli típusdiagramok kategóriává válása a megfelelő funktorok természetes átalakulása . ${\mathcal {J}}$ ${\mathcal C}$ $D\colon {\mathcal {J}}\ to {\mathcal {C}}$ ${\mathcal {J}}$ $D$ ${\mathcal {J}}$ ${\mathcal {J}}$ ${\mathcal C}$

A kommutatív diagram egy részleges megbízás típusú diagram megjelenítéseként tekinthető .

Irodalom

Adámek, Jiří; Horst Herrlich és George E. Strecker. Absztrakt és konkrét kategóriák (neopr.) . - John Wiley & Sons , 1990. - ISBN 0-471-60922-6 . Mostantól ingyenes on-line kiadásként (4,2 MB PDF) érhető el.