Obiecte terminale Acum vom discuta UNU, unitatea sau identitatea pentru nmulire.

Ai ntlnit cteva lucruri numite unu. n primul rnd, numrul 1, unitatea pentru nmulirea numerelor care satisface condiia Pentru fiecare numr x, 1 x x = x n al doilea rnd, harta de identitate a unei categorii A, harta 1A : A -> A, definit de 1A(x) = x pentru fiecare membru x a lui A Care satisface legile identitii: Pentru fiecare hart f cu codomeniul A, 1A o f = f, i Pentru fiecare hart g cu domeniul A, g o 1A = g n al treilea rnd, i acesta este punctul de plecare al discuiei noastre, ai ntlnit seturile singleton, seturi cu exact un membru. Scopul nostru este de a nelege totul n termeni de hri i compoziie, astfel nct s ne ntrebm: ce proprietate special au seturile singleton? Ne dorim ca rspunsul s implice hrile. Vreo idee? OMER: Exist o singur hart pentru un set singleton. Bun. Un set singleton precum {Alysia} are proprietatea c pentru fiecare set X, exist exact o singur hart de la X la {Alysia}. (grafic) Reinei c aceasta funcionez chiar dac domeniul X este gol; atunci diagrama intern a hrii este (grafic) Fr sgei, deoarece X nu are membri. Am reuit s gsim o proprietate special a seturilor singleton, o proprietate care este exprimat complet n termini de hri, fr s menionm membrii. De ce vrem s descriem seturile singleton n funcie de hri? Motivul este pentru c n alte categorii, de exemplu sisteme dinamice sau grafice, nu este clar ce ar trebui s fie un membru, dar proprietile exprimate n funcie de hri sau compoziie(de exemplu proprietatea lui Omer), au totui sens n alt categorie. Prin urmare definim:

Definiie: n orice categorie C, un obiect T este un obiect terminal dac i numai dac are urmtoarea proprietate: Pentru orice obiect X din C exist exact o hart de la X la T. X din definiie este un pronume. Am fi putut spune T este un obiect terminal dac i numai dac pentru fiecare obiect din C exist exact o hart de la acel obiect la T; dar ca s fim siguri c expresia acel obiect nu este ambigu, i-am dat numele X, cnd am menionat-o prima oar. Nu are importan ce liter folosim. Pentru a spune Pentru fiecare obicet din C exist exact o singur hart de la Y la T am fi spus exact acelai lucru despre T. S vedem exemple de obiecte terminale n alte categorii. Exist vreun obiect terminal n S? Omer: Un set cu un numr. Asta e o bun ide. Dar un set n sine nu este un obiect al lui S, trebuie s specificm o endohart a unui set. Ce endohart ar trebui s alegem? Alysia: Membrul merge la el nsui? Exact. De fapt acesta este singura noastr endohart pe care un set singleton o are. Deci ncercm T= (semn matematic) Este acesta chiar un obiect terminal n S0? Cerem destul de mult de la T. Trebuie s satisfac: pentru fiecare system dynamic X0a n S0 (orict de complicat), exist exact o singur hart X0a -> T. Ce este o hart X0a->Y0b, din S0? Omer: O hart de seturi precum f o a = b o f. Corect. Cte hri de la setul X la un set singleton 1 avem, indiferent dac satisfac ccondiia suplimentar? Da, sigur una. Satisface ea condiia f o a= b o f? (grafic) Da, pentru c amndou f o a i b o f sunt hri (ale seturilor) de la X la 1, i nu exist dect o singur astfel de hart. Care o termin: am artat c acest sistem dinamic este un terminal de tip set cu endohart; de ex. un obiect terminal din categoria S0.

S mergem acum la categoria graficelor ireflexive. Un obiect este o pereche de seturi X, P i o pereche de hri de la X la P. Prin urmare o imagine a unui obiect este (grafic) Unde desenm harta s cu sgei ngroate i harta t cu sgei punctuate. Dar oamenii din informatic, din ingineria electric sau controlul aerian care folosesc grafice mereu nu le deseneaz aa. Ei le deseneaz astfel: (grafic) De aceea elementele lui X se numesc sgei; sunt desenate ca sgei ale graficului, n timp ce elementele lui P sunt desenate ca puncte, iar hrile structurale se numesc sugestiv surs i scop. n al doilea desen se poate vedea imediat c pentru a merge de la w la x trebui nti s mergem de la w la y i apoi de la y la x. Se poate merge la y, apoi se pot lua una sau mai multe ture napoi la y i apoi se poate merge la X. Pe de alt parte, pentru a studia hrile dintre grafice, prima imagine poate fi de folos, Ce este o hart (grafic)? Omer: Trimite X la X i P la P. Aa e. O hart din categoria aceasta reprezint dou hri de seturi, fA: X -> X i fD: P->P, dar nu dou hri oarecare. Ele trebuie s satisfac ecuaiile fD o s = s o f A i fD o t = t o f A o ecuaie pentru fiecare tip de hart structural pe care o implic obiectele. Trebuie s decidem ce s punem n csua din dreapta (grafic) aa nct este exact o hart de grafice de la orice graphic la cel din csu. Are cineva vreo ide? Chad: Y i Q cu aceleai elemente ca X i P? Nu. Y i Q vor fi fixate o dat pentru totdeauna; nu pot depinde de ceea ce sunt X i P. Chad: S punem pe Y i pe Q cu cte un element fiecare. Da, e o ide bun. Fie Y = a i Q = p. C ear trebui s fie hrile s i t? Danilo: Este o singur posibilitate.

Da, este o singur hart de la a la p. Este graficul (grafic) cu o singur sgeat i un singur punct un obiect terminal? Trebuie s verificm c pentru orice graphic este exact un singur graphic pentru acesta. Dar indifferent de ce este X, este o singur alegere pentru harta: fD : P ->p. ntrebarea este dac aceste hri satisfac ecuaia care spune c aceste hri respect sursa i scopul. Acum, prima ecuaie (fD o s = s o fA) implic dou hri care pleac de la X la p (grafic): Sunt aceste dou hri egale? Chad: Trebuie s fie, pentru c exist o singur hart de la X la p. Aa este! i cealalt ecuaie (cea cu t n loc de s) este adevrat din acelai motiv. Deci acest grafic (grafic) este obiectul terminal din categoria de grafice. Cineva s-ar putea gndi c obiectul terminal este doar un punct fr sgei. Sunt dou moduri prin care putem s imaginem graficele (grafic): Dar asta nu merge . Danilo: n cazul unui singur punct fr sgei nu va fi nici o hart pentru el. Aa este. Atta timp ct graficul de domeniul are o sgeat, nu va avea nici o hart pentru acest grafic pentru c fA face hart pentru un set gol. Aceasta demonstreaz c acest grafic cu un singur punct i nici o sgeat nu merge ca un grafic terminal. Este o alt dovad bazat pe urmtoarea teorem general. Teorem: S presupunem c C este orice categorie i c att T1 i T2 sunt obiecte terminale n C. Atunci T1 i T2 sunt izomorfice; de ex. Sunt hri f : T1 -> T2, g: T2->T1 aa nct g o f este identitatea lui T1 i f o g este identitatea lui T2. S ncercm s probm demonstraia Demonstraia Pentru a arta c T1 i T2 sunt isomorfice avem nevoie n primul rnd de o hart T1 -> T2. Cum putem s obinem o asemenea hart? Danilo: Este o singur hart de la un obiect terminal la altul. Remarca lui Danilo se refer la faptul c T1 este un terminal sau la faptul ca T2 este terminal? Omer: T2. Corect. Deci, demonstraia continu aa:

Pentru c T2 este terminal exist o hart f: T1->T2. Avem nevoie de o hart g: T2 ->T1. Din nou, exist una pentru c T1 este terminal. Dar aceasta nu demonstrez nc c T1 este izomorfic lui T2. Trebuie demonstrat ca ceste dou hri sunt inverse una pentru cealalt/ Este adevrat c compoziia gf: T1->T2 este egal lui 1T1? Katie: Da, pentru c exist doar o hart de la T1 la T1. Corect. Pentru c T1 este terminal, este o singur hart de la T1 la T1. Prin urmare, g o f = 1 T1. Va rmne ca exerciiu demonstraia c oricare compoziie este egal cu hart identic corespondent 1 T2; atunci demonstraia teroemei va fi complet. Observai c n aceast demonstraie folosim separat dou aspecte pentru definiia proprietii a unui obiect terminal T i anume faptul c pentru fiecare obiect X 1. Exist cel puin o hart X -> T, i 2. Nu exist dou hri diferite X ->T. Enunul 1 este folosit pentru a obine hri T1 T2 i enunul 2 este folosit pentru a demonstra c ele sunt inverse una pentru cealalt.