Innehållsförteckning
3 relationer: Initialt objekt, Kategori (matematik), Trivialgrupp.
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)
Trivialgrupp
Inom matematiken är en trivialgrupp en grupp som bara består av ett element.
Se Terminalt objekt och Trivialgrupp
Även känd som Kategori med ett terminalt objekt.