Innehållsförteckning
3 relationer: Initialt objekt, Kategori (matematik), Morfism.
Initialt objekt
Ett initialt objekt i en kategori \mathcal är ett objekt 0 i \mathcal sådant att det för varje annat objekt x\in\mathcal finns en unik morfism 0\rightarrow x. För ett initialt objekt 0 finns alltså en tillordning av en morfism \operatorname_0(x) till varje objekt x uppfyllande likheterna cod(from_0(x)).
Se Terminalt objekt och Initialt 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 Terminalt 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 Terminalt objekt och Morfism
Även känd som Kategori med ett terminalt objekt.