Terminalt objekt

Från Rilpedia

Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
icon_anmal.gif
rp-wp-sv.gif

Ett terminalt objekt i en kategori är ett objekt 1 sådant att det för varje annat objekt x finns en unik morfi x\rightarrow 1. För ett terminalt objekt 1 finns alltså en tillordning av en morfism to1(x) till varje objekt x uppfyllande likheterna

\operatorname{cod}(to_1(x)) = 1
\operatorname{dom}(to_1(x)) = x

och för varje morfism f sådant att

\operatorname{cod}(f) = 1

gäller

f = to_1(\operatorname{dom}(f))

I termer av mängder av morfismer mellan olika objekt kan det terminala objektet karaktäriseras som att för godtyckligt objekt x gäller

\operatorname{Mor}(x,1) = {to_1(x)}


Associatividadecat.png Denna artikel om kategoriteori är bara påbörjad. Du kan hjälpa till genom att utöka den.
Hämtad från "https://sv.rilpedia.org/wiki/Terminalt_objekt"
Personliga verktyg