Innehållsförteckning
3 relationer: Kategori (matematik), Morfism, Terminalt objekt.
Kategori (matematik)
Inom matematiken utgör en kategori en struktur bestående av en uppsättning objekt, en uppsättning morfismer och vissa tillordningar av objekt eller morfismer, som har sådana samband som uppsättningar med mängder av viss struktur och avbildningar mellan mängderna som respekterar strukturerna kan förväntas ha.
Se Initialt objekt och Kategori (matematik)
Morfism
Inom kategoriteori, en abstrakt generalisering av många områden av matematiken, är morfismer eller morfier generaliseringar av funktioner.
Se Initialt objekt och Morfism
Terminalt objekt
Ett terminalt objekt i en kategori \mathcal är ett objekt 1\in\mathcal sådant att det för varje annat objekt x\in\mathcal finns en unik morfism x\rightarrow 1.
Se Initialt objekt och Terminalt objekt
Även känd som Kategori med ett initialt objekt.