W 6 STRON OD TEORII GRUP DO TEORII KATEGORII

Podobne dokumenty
Topologia Algebraiczna - Pomocnik studenta. 1. Język teorii kategorii

domykanie relacji, relacja równoważności, rozkłady zbiorów

Seria zadań z Algebry IIR nr kwietnia 2017 r. i V 2 = B 2, B 4 R, gdzie

Zbiory, relacje i funkcje

Rozdzia l 3. Elementy algebry uniwersalnej

Rozdzia l 10. Najważniejsze normalne logiki modalne

Logika dla socjologów Część 3: Elementy teorii zbiorów i relacji

Uwaga 1.2. Niech (G, ) będzie grupą, H 1, H 2 < G. Następujące warunki są równoważne:

Rozdzia l 2. Najważniejsze typy algebr stosowane w logice

O pewnych związkach teorii modeli z teorią reprezentacji

1 Działania na zbiorach

Elementy logiki i teorii mnogości

MATEMATYKA DYSKRETNA - wyk lad 1 dr inż Krzysztof Bryś. Wprowadzenie

Algebry skończonego typu i formy kwadratowe

Rozdzia l 3. Relacje binarne

BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH

Matematyka dyskretna

Niech X bȩdzie dowolnym zbiorem. Dobry porz adek to relacja P X X (bȩdziemy pisać x y zamiast x, y P ) o w lasnościach:

ALGEBRA IR WYK LADY IX I X (28. LISTOPADA I 5. GRUDNIA 2012 R.) WERSJA OSTATECZNA

Zasada indukcji matematycznej

Elementy logiki matematycznej

Egzamin z logiki i teorii mnogości, rozwiązania zadań

Zajęcia nr. 3 notatki

5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów.

Matematyka dyskretna

LOGIKA I TEORIA ZBIORÓW

Matematyka dyskretna. 1. Relacje

Podstawowe struktury algebraiczne

Zadania o transferze

Wykład 21 Funkcje mierzalne. Kostrukcja i własności całki wzglȩdem miary przeliczalnie addytywnej

Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

Wykład ze Wstępu do Logiki i Teorii Mnogości

B jest liniowo niezależny V = lin (B) 1. Układ pusty jest bazą przestrzeni trywialnej {θ}. a i v i = i I. b i v i, (a i b i ) v i = θ.

8 Całka stochastyczna względem semimartyngałów

FUNKCJE. (odwzorowania) Funkcje 1

ALGEBRA Z GEOMETRIĄ PIERŚCIENIE, CIAŁA I HOMOMORFIZMY

Funkcje wymierne. Jerzy Rutkowski. Działania dodawania i mnożenia funkcji wymiernych określa się wzorami: g h + k l g h k.

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Wyk lad 2 Podgrupa grupy

Schematy Piramid Logicznych

Lokalna odwracalność odwzorowań, odwzorowania uwikłane

Geometria Algebraiczna

Wyk lad 14 Cia la i ich w lasności

1. Elementy (abstrakcyjnej) teorii grup

Metody Numeryczne Wykład 4 Wykład 5. Interpolacja wielomianowa

Podstawy teoretyczne na egzamin z MMFiA II.

Baza w jądrze i baza obrazu ( )

Wyk lad 9 Podpierścienie, elementy odwracalne, dzielniki zera

Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).

Topologia Algebraiczna 2 Zadania egzaminacyjne

Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie

w = w i ξ i. (1) i=1 w 1 w 2 :

- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S.

F t+ := s>t. F s = F t.

Funkcje. Oznaczenia i pojęcia wstępne. Elementy Logiki i Teorii Mnogości 2015/2016

2. FUNKCJE. jeden i tylko jeden element y ze zbioru, to takie przyporządkowanie nazwiemy FUNKCJĄ, lub

Wyk lad 7 Baza i wymiar przestrzeni liniowej

1. Synteza automatów Moore a i Mealy realizujących zadane przekształcenie 2. Transformacja automatu Moore a w automat Mealy i odwrotnie

Podprzestrzenie niezmiennicze nilpotentnych operatorów liniowych

Teoria ciała stałego Cz. I

Sterowalność liniowych uk ladów sterowania

Rozdzia l 9. Zbiory liczb porz adkowych. Liczby porz adkowe izolowane i graniczne

3. Wykład 3: Dowody indukcyjne, strategie dowodowe Dowody indukcyjne. Dotychczas zobaczyliśmy w jaki sposób można specyfikować definicje

Topologia Algebraiczna - Pomocnik studenta 50 zadań na Egzamin z Topologii Algebraicznej I Semestr zimowy roku akademickiego 2010/2011

1 Automaty niedeterministyczne

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.

Twierdzenie spektralne

A i. i=1. i=1. i=1. i=1. W dalszej części skryptu będziemy mieli najczęściej do czynienia z miarami określonymi na rodzinach, które są σ - algebrami.

3 Abstrakcyjne kompleksy symplicjalne.

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Wstęp do Matematyki (4)

Kongruencje pierwsze kroki

Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm

1. R jest grupą abelową względem działania + (tzn. działanie jest łączne, przemienne, istnieje element neutralny oraz element odwrotny)

Algebra. Jakub Maksymiuk. lato 2018/19

Kodowanie węzłów Warkocze Twierdzenie Aleksandra. Dominika Stelmach gr. 10B2

Wykład 4. II Zasada Termodynamiki

Algebra konspekt wykladu 2009/10 1. du na dzialanie na zbioze G, jeśli dla dowolnych elementów x, y S, x y S. S jest zamkniety ze wzgle

ALGEBRA IR WYK LADY X I XI (5. I 12. GRUDNIA 2012 R.) WERSJA WSTȨPNA

Ciągi Podzbiory Symbol Newtona Zasada szufladkowa Dirichleta Zasada włączania i wyłączania. Ilość najkrótszych dróg. Kombinatoryka. Magdalena Lemańska

DOWODY NIERÓWNOŚCI HÖLDERA I MINKOWSKIEGO (DO UŻYTKU WEWNȨTRZNEGO, I DO SPRAWDZENIA)

O ROZMAITOŚCIACH TORYCZNYCH

Zad. 1 Zad. 2 Zad. 3 Zad. 4 Zad. 5 SUMA

9 Przekształcenia liniowe

Wykład 10. Stwierdzenie 1. X spełnia warunek Borela wtedy i tylko wtedy, gdy każda scentrowana rodzina zbiorów domkniętych ma niepusty przekrój.

dr inż. Ryszard Rębowski 1 WPROWADZENIE

Dystrybucje, wiadomości wstępne (I)

Wyk lad 14 Formy kwadratowe I

Analiza matematyczna 1

Wstęp do Matematyki (2)

Działania Definicja: Działaniem wewnętrznym w niepustym zbiorze G nazywamy funkcję działającą ze zbioru GxG w zbiór G.

Wykłady... b i a i. i=1. m(d k ) inf

Szymon G l ab. Struktury losowe II Graf losowy. Instytut Matematyki, Politechnika Lódzka

Rozdział 6. Ciągłość. 6.1 Granica funkcji

RACHUNEK ZBIORÓW 5 RELACJE

Rozdzia l 8. Pojȩcie liczby porz adkowej

ALGEBRA Z GEOMETRIĄ CIAŁO FUNKCJI WYMIERNYCH

Topologia zbioru Cantora a obwody logiczne

Transkrypt:

W 6 STRON OD TEORII GRUP DO TEORII KATEGORII RAFAŁ R. SUSZEK Streszczenie. W niniejszym wykładzie dokonujemy abstrakcji, a nastȩpnie istotnego uogólnienia elementarnych własności grup, ich realizacji (działań) i ekwiwariantnych odwzorowań pomiȩdzy ich nośnikami. Proces ten doprowadza nas jedn a z wielu możliwych naturalnych ścieżek logicznych do takich struktur jak kategoria, funktor i transformacja naturalna, stanowi acych szkielet pojȩciowy teorii kategorii. Zaczniemy od przeformułowania opisu pojȩcia grupy. Oto w sposób nieco sztuczny przedstawimy grupȩ G jako zbiór bijekcji singletonu (zbioru jednoelementowego) { } udekorowanych elementami grupy g G. Tak a oczywist a nadmiarowości w zbiorze odwzorowań singletonu w siebie możemy traktować jako sposób na zapisanie informacji o ukrytej wewnȩtrznej strukturze obiektu, której nie określamy w żaden inny (bezpośredni) sposób. W tym obrazku G stanowi (albo indeksuje) kompletny zbiór odwzorowań uzgodnionych z ukryt a struktur a obiektu, tj. strukturȩ tȩ respektuj acych (i w tym sensie zachowuj acych obiekt ), wiȩc dozwolonych z punktu widzenia naszych rozważań. Istnienie operacji binarnej na G możemy zrozumieć jako prawo orzekaj ace, że superpozycja odwzorowań dozwolonych jest także odwzorowaniem dozwolonym, a ł aczność operacji binarnej tłumaczy siȩ na ł aczność tejże dobrze określonej superpozycji. Pośród odwzorowań dozwolonych istnieje jedno odwzorowanie wyróżnione, które odpowiada trywialnej bijekcji obiektu i z tej przyczyny stanowi ace nie zmieniaj ace żadnego innego odwzorowania dozwolonego po przyłożeniu go przed tym odwzorowaniem lub po nim tym odwzorowaniem jest bijekcja indeksowana elementem neutralnym e G. Wreszcie też każdemu odwzorowaniu odpowiada odwzorowanie odwrotne, tj. takie, którego superpozycja z wyjściowym daje poprzednio omówione odwzorowanie trywialne. Jego istnienie zapewnia operacja unarna Inv G G. Z naszej dotychczasowej dyskusji wyłania siȩ już pewna (z konieczności dość banalna w swej zawartości) struktura, dostarczaj aca równoważnego przeformułowania opisu grupy, które poddaje siȩ dalekosiȩżnemu uogólnieniu. Mamy wiȩc do czynienia z dwoma zbiorami: zbiorem obiektów Obj G { } i zbiorem dozwolonych odwzorowań miȩdzy nimi, który bȩdziemy określać mianem zbioru morfizmów Mor G G i przedstawiać jako zbiór strzałek udekorowanych elementami grupy, g Każde z odwzorowań ma swoj a dziedzinȩ, z której wychodzi stowarzyszona z nim strzałka i któr a w dalszej czȩści wywodu bȩdziemy nazywać pocz atkiem morfizmu, s Mor G Obj G g, oraz przeciwdziedzinȩ, do której strzałka siȩga i któr a bȩdziemy nazywać końcem morfizmu, t Mor G Obj G g. Na zbiorze Mor G s t Mor G par strzałek składalnych, tj. takich, u których koniec poprzednika pokrywa siȩ z pocz atkiem nastȩpnika (w naszym przypadku s a to wszystki strzałki), określona jest ł aczna operacja złożenia (superpozycji) Mor G s t Mor G Mor G ( h, g ) h g o oczywistych (u nas wrȩcz trywialnych) własnościach s( h g ) = s( g ), t( h g ) = t( h ). Na zbiorze obiektów określamy odwzorowanie Id Obj G Mor G e, które przypisuje obiektowi morfizm identycznościowy o własnościach s Id = id Obj G = t Id, Wersja z 20 lutego 2015, 22:32 (GMT+1). 1

g Id s( g ) = g = Id t( g ) g. Odwracalność wszystkich morfizmów (strzałek) jest równoznaczna z istnieniem odwzorowania Inv Mor G Mor G g g g 1 o własnościach s Inv = t, t Inv = s, g Inv( g ) = Id t( g ), Inv( g ) g = Id s( g ). Zanim przejdziemy do dyskusji realizacji grupy, zaadaptujemy nowy formalizm do opisu struktury nieco mniej sztywnej niż rozpatrywana dot ad struktura grupy, a mianowicie: monoidu Map(X, X) odwzorowań (ustalonego) zbioru X w siebie. Struktura ta doskonale, a przy tym całkowicie naturalnie ilustruje ideȩ modelowania wewnȩtrznej struktury obiektu (jakim w tym przypadku jest sam zbiór X) w mnogości dozwolonych morfizmów. Mamy tu zatem do czynienia z jednoelementowym zbiorem obiektów Obj Map(X, X) = {X}, zbiorem morfizmów zaś w pełnej analogii do sytuacji wcześniejszej jest zbiór strzałek udekorowanych odwzorowaniami f Map(X, X). Reszta dyskusji przebiega analogicznie jak w przypadku grupy G, z t a wszelako istotn a różnic a, że tym razem opuszczamy wymóg odwracalności morfizmów. Dokonawszy powyższej może nieco dziwacznej na pierwszy rzut oka, ale też jak siȩ okaże nader pożytecznej formalizacji struktury grupy i wyróżnionego monoidu Map(X, X), możemy poddać analogicznemu zabiegowi strukturȩ realizacji R (tj. działania) grupy G na zbiorze X. Realizacja taka jest homomorfizmem monoidu definiowanego przez G (poprzez zapomnienie o odwracalności wszystkich elementów) w monoid 1 Map(X, X). W wypracowanym wcześniej jȩzyku, stwierdzamy wiȩc istnienie odwzorowania o składowych: obiektowej R Obj G Obj Map(X, X) X i morfizmowej (zwyczajowo oznaczanej tym samym symbolem) R Mor G Mor Map(X, X) g R(g) o własnościach (zapisanych w konwencji zgodnej z tym zwyczajem) oraz s Map(X,X) R = R s G, t Map(X,X) R = R t G R( h G g ) = R( h ) Map(X,X) R( g ), R Id G = Id Map(X,X) R. Na najniższym szczeblu hierarchii struktur algebraicznych stowarzyszonych z pojȩciem grupy i jej działania na wybranym zbiorze znajdujemy odwzorowania G-ekwiwariantne splataj ace realizacje R 1 i R 2, które w rozbudowanym tu formalizmie możemy (znów nieco na wyrost) przedstawić jako indeksowane przez zbiór Obj G rodziny morfizmów o składowych (tutaj w liczbie 1) η Obj G Mor Map(X, X) η η R 1 ( ) R 2 ( ), na które został nałożony definiuj acy warunek G-ekwiwariantności g Mor G η t( g ) R 1 ( g ) = R 2 ( g ) η s( g ). Sformułowany przez nas schemat opisu struktur grupy i zbioru z jej działaniem poddaje siȩ nastȩpuj acym istotnym i przez to interesuj acym ogólnieniom: Dopuszczenie dowolnej liczby obiektów we wcześniejszym opisie grupy (co prowadzi do wyodrȩbnienia podzbioru właściwego par morfizmów składalnych w kwadracie kartezjańskim zbioru morfizmów) przy zachowaniu odwracalności wszystkich morfizmów daje grupoid. 1 Obraz G leży w grupie symetrycznej SX, jednak to uściślenie pozbawiłoby nasze rozumowanie nieodzownej ogólności. 2

Rezygnacja z odwracalności morfizmów (czyli cofniȩcie siȩ do poziomu monoidu) prowadzi do ogólnej małej kategorii. Jeśli dodatkowo dopuścić tȩ ewentualność, że obiekty lub morfizmy nie tworz a zbioru, lecz klasȩ właściw a (tj. mnogość nie bȩd ac a zbiorem a określan a przez wspóln a cechȩ elementów, jak np. klasa wszystkich zbiorów określana przez cechȩ bycie zbiorem ), to mamy do czynienia także z dużymi kategoriami, przy czym wyróżniamy takie, u których klasy morfizmów s a zbiorami, nazywaj ac je lokalnie małymi. Odwzorowanie miȩdzy kategoriami spełniaj ace warunki wypisane dla realizacji grupy to funktor kowariantny F C 1 C 2. Jeśli warunki te zast apimy układem s 2 F = F t 1, t 2 F = F s 1, F (χ 2 1 χ 1 ) = F (χ 1 ) 2 F (χ 2 ), F Id 1 = Id 2 F, to otrzymamy definicjȩ funktora kontrawariantnego. Ilekroć składowa morfizmowa funktora jest injekcj a w ograniczeniu do każdej klasy Hom C1 (X, Y ), mówimy o funktorze wiernym, kiedy natomiast jej ograniczenia s a surjekcjami, funktor nazywamy pełnym. Przy spełnieniu obu warunków funktor określamy mianem w pełni wiernego. Szczególnymi i szczególnie ważnymi przykładami funktorów s a funktory Hom C dla ustalonej lokalnie małej kategorii C: kowariantny Hom C (X, ) C Set, określony dla dowolnego X Obj C, o składowej obiektowej i morfizmowej Hom C (X, ) Obj C Obj Set Y Hom C (X, Y ) Hom C (X, ) Mor C Mor Set ( Y oraz kontrawariantny χ Z ) ( Hom C (X, Y ) Hom C (X, Z) ) Hom C (, X) C Set, określony jak wyżej, o składowej obiektowej i morfizmowej Hom C (, X) Obj C Obj Set Y Hom C (Y, X) Hom C (, X) Mor C Mor Set ( Y χ Z ) ( Hom C (Z, X) Hom C (Y, X) ). χ χ (0.1) Wreszcie też rodzinȩ odwzorowań w rodzaju tych przypisanych splataczowi realizacji R 1 i R 2 nazywamy transformacj a naturaln a, a kiedy każdy z morfizmów składowych jest odwracalny, mówimy o izomorfizmie naturalnym (funktorów), b adź równoważności naturalnej. Warunek naturalności dla funktorów kowariantnych jest wiȩc postaci χ HomC1 (X,Y ) η Y 2 F (χ) = G(χ) 2 η X. W przypadku funktorów kontrawariantnych należy dokonać stosownej korekty relacji definicji transformacji naturalnej, kład ac χ HomC1 (X,Y ) η X 2 F (χ) = G(χ) 2 η Y. Elmentarnym, lecz istotnym wynikiem strukturalnym teorii grup, eksponuj acym pierwszorzȩdne znaczenie grup symetrycznych w tej teorii, jest Twierdzenie Cayleya, które orzeka, że każda grupa jest izomorficzna z pewn a podgrup a grupy symetrycznej S X pewnego zbioru X, czyli może być zrealizowana jako podzbiór zbioru bijekcji X w siebie, z ograniczonym doń składaniem odwzorowań w roli operacji binarnej (tj. działania grupowego). Dokonamy teraz transkrypcji klasycznego konstruktywnego dowodu tego twierdzenia w rozwijanym przez nas konsekwentnie formalizmie kategorialnym, co pozwoli wysłowić twierdzenie w sposób poddaj acy siȩ naturalnemu uogólnieniu. Takie uogólnienie bȩdzie nastȩpnie przedmiotem naszych dalszych dociekań. Przypomnijmy: we wspomnianym wyżej dowodzie jako zbiór X wybieramy sam a grupȩ G (innymi słowy, aplikujemy do niej funktor zapominania Grp Set z kategorii grup w kategoriȩ zbiorów), 3

wyróżniaj ac zarazem te spośród jej bijekcji w siebie, które pochodz a od lewego regularnego działania grupy na sobie, czyli rozważamy podzbiór l G X X (g, h) g h, Λ G = { l g g G } S X, jawnie izomorficzny (czyli bȩd acy w bijekcji) ze zbiorem G i zamkniȩty ze wzglȩdu na składanie odwzorowań, Λ G Λ G (l g2, l g1 ) l g2 l g1 l g2 g 1 Λ G, które realizuj a wiernie strukturȩ grupy, przez co należy rozumieć, że odwzorowanie l G S X g l g, indukowane przez l, jest monomorfizmem grup, wiȩc też (G,, Inv, e) (Λ G, Λ 2 G, Inv, l e ) (S X,, ( ) 1, id X ), przy czym wskazany tu obraz odwzorowania l jest podgrup a S X, o której mowa w tezie twierdzenia. Należy przy tym zauważyć, że wykorzystane tutaj działanie lewe regularne G na sobie jest przemienne z prawymi translacjami na G o dowolny element grupy, czyli z działaniem prawym regularnym czyli słuszne jest stwierdzenie (0.2) X G X (h, g) h g, g,h G l g h = h l g, bȩd ace konsekwencj a ł aczności działania grupowego. Warto podkreślić, że powyższa własność odwzorowań h Map(X, X) jest dla nich definiuj aca, tzn. każde odwzorowanie γ Map(X, X) przemienne z działaniem lewym regularnym jest praw a translacj a o pewien element grupy. W rzeczy samej, warunek implikuje równość która prowadzi do identyfikacji (0.3) g G l g γ = γ l g g G g γ(e) = γ(g e) γ(g), γ = γ(e). Okazuje siȩ, że cał a opisan a tu strukturȩ można zwiȩźle wysłowić, jak nastȩpuje: Morfizm l określa kontrawariantne funktorialne zanurzenie (czyli funktor w pełni wierny z) kategorii G, wprowadzonej wcześniej, w kategoriȩ Set G (kowariantnych) funktorów 2 z kategorii G w kategoriȩ Set zbiorów. W szczególności funktorialny obraz kategorii G w Set G, jakim jest pełna podkategoria Λ G, jest kanonicznie izomorficzny z wyjściow a kategori a G. Istotnie, odwzorowanie l stowarzysza z jedynym obiektem kategorii G kowariantny funktor Hom G o składowej obiektowej Hom G (, ) l G Set l Obj G Obj Set X( G) = Hom G (, ) i składowej morfizmowej l Mor G Mor Set g l g = Hom G (, g ), przy czym ostatnie przyporz adkowanie ma sens, gdyż l g Hom Set (l ( ).l ( )) Map(X, X). Funktorialność l sprowadza siȩ do stwierdzonych wcześniej strukturalnych własności odwzorowania l, tj. l (Id G ) = Id Set l ( ) l e = id X, l ( g 2 G g 1 ) = l ( g 2 ) Set l ( g 1 ) l g2 g 1 = l g2 l g1. Wreszcie też l pozwala przyporz adkować dowolnemu morfizmowi g Hom G (, )( Mor G) transformacjȩ naturaln a Hom G ( g, ) Hom G (t( g ), ) Hom G (s( g ), ), 2 Morfizmami w kategorii, której obiektami s a funktory pomiȩdzy dwiema ustalonymi kategoriami, s a transformacje naturalne pomiȩdzy owymi funktorami. 4

czyli indeksowan a przez Obj G = { } rodzinȩ morfizmów o jedynym elemencie Hom G ( o własności g, ) g Hom Set (Hom G (t( g ), ), Hom G (s( g ), )) Map(X, X) Hom G ( g, t( h )) Set Hom G (t( g ), h ) = Hom G (s( g ), h ) Set Hom G ( g, s( h )), zapisanej dla dowolnego h Mor G, a wyrażaj acej stwierdzon a uprzednio własność (0.2). Podkreślmy, że kontrawariantny charakter opisanego tu funktora G Set G niesie informacjȩ o prawym charakterze działania prawego regularnego grupy G na sobie, oto bowiem zapis Hom G ( g 2 G g 1, ) = Hom G ( g 1, ) Set G Hom G ( g 2, ) oznacza w istocie tożsamość g2 g 1 = g1 g2. Na koniec zauważmy, że jest to, zgodnie z wypowiedzian a wcześniej tez a, funktor w pełni wierny, albowiem dla jedynej pary obiektów jego dziedziny, (, ), zadawane przezeń przyporz adkowanie (podkreślenie pierwszego wolnego miejsca oznacza, że to właśnie miejsce przyjmuje argument z dziedziny) Hom G (, ) Hom G (, ) Hom Set G(Hom G (, ), Hom G (, )) jest omówion a wcześniej bijekcj a G Map(X, X) g g, patrz: (0.3). Dokonane tutaj abstrakcyjne przeformułowanie Twierdzenia Cayleya w jȩzyku teorii kategorii stawia nas przed oczywistym pytaniem: Czy twierdzenie to jest przejawem szczególnego statusu G pośród kategorii, czy też raczej jest ono emanacj a ogólniejszego prawa, któremu podlegaj a wszystkie kategorie lokalnie małe? (Wymóg lokalnej małości staje si w konieczności a, kiedy staramy siȩ odwzorować klasy morfizmów pomiȩdzy dowolnymi parami obiektów wyjściowej kategorii bijektywnie w klasy transformacji naturalnych miȩdzy funktorialnymi obrazami tychże obiektów.) Bardzo ogólnej odpowiedzi na tak postawione pytanie dostarcza Twierdzenie 0.1 (Lemat Yonedy). Niechaj C bȩdzie dowoln a kategori a lokalnie mał a, a X dowolnym jej obiektem i niech F C Set bȩdzie dowolnym funktorem kowariantnym 3. Wówczas istnieje kanoniczny izomorfizm (bijekcja) pomiȩdzy zbiorem Nat(Hom C (X, ), F ) transformacji naturalnych miȩdzy funktorami Hom C (X, ) i F a elementami zbioru F (X), Nat(Hom C (X, ), F ) F (X). Dowód. Punktem wyjścia do konstruktywnego dowodu istnienia bijekcji, o której mowa w treści twierdzenia, jest nastȩpuj aca obserwacja: Oto dowolna transformacja naturalna η Nat(Hom C (X, ), F ) jest w pełni określona przez element ξ η X = η X(Id C X) F (X) zbioru bȩd acego funktorialnym obrazem wyróżnionego obiektu X Obj C. W rzeczy samej, warunek (0.1) naturalności η implikuje tożsamość η Y (χ) η Y (χ Id C X) = (η Y Hom C (X, χ))(id C X) = (F (χ) η X )(Id C X) = F (χ)(ξ η X ), słuszn a dla dowolnego morfizmu χ Hom C (X, Y ) o pocz atku w dowolnym obiekcie Y Obj C, a pokazuj ac a dowodnie, że znajomość ξ η X pozwala wyznaczyć wszystkie elementy rodziny {η Y } Y Obj C. Odwzorowanie ξ X Nat(Hom C (X, ), F ) F (X) η ξ η X to właśnie szukana bijekcja. Ażeby siȩ o tym przekonać, wystarczy wskazać odwzorowanie odwrotne. Zdefiniujmy odwzorowanie wzorem η F (X) Nat(Hom C (X, ), F ) ξ η ξ η ξ Y (χ) = F (χ)(ξ). 3 Istnieje także wersja kontrawariantna Lematu Yonedy, któr a Czytelnik bez trudu wymyśli sam. 5

Podana definicja ma sens, gdyż dla dowolnego morfizmu ψ Hom C (Y, Z) zachodzi (η ξ Z Set Hom C (X, ψ))(χ) = η ξ Z (ψ C χ) = F (ψ C χ)(ξ) = (F (ψ) Set F (χ))(ξ) = F (ψ)(f (χ)(ξ)) = (F (ψ) Set η ξ Y )(χ), czyli w istocie η ξ jest transformacj a naturaln a miȩdzy Hom C (X, ) a F. Pokażemy, że η jest poszukiwan a odwrotności a odwzorowania ξx. W tym celu wyznaczamy transformacjȩ naturaln a przyporz adkowan a przez η elementowi ξ η X, uzyskuj ac poż adany wynik η ξη X Y (χ) = F (χ)(ξη X ) = η Y (χ), η ξη X Y = η Y, a nastȩpnie wskazujemy element zbioru F (X) bȩd acy obrazem transformacji naturalnej η ξ odwzorowania ξx, wzglȩdem ξ ηξ X = ηξ X (IdC X) = F (Id C X)(ξ) = Id Set F (X)(ξ) id F (X) (ξ) = ξ, co kończy dowód postulowanej relacji miȩdzy η i ξx, a tym samym także dowód twierdzenia. Bezpośredniego uogólnienia teoriogrupowego Twierdzenia Cayleya dostarcza poniższe elementarne corollarium Lematu Yonedy. Stwierdzenie 0.2 (Zanurzenie Yonedy). W oznaczeniach Twierdzenia 0.1 kontrawariantny funktor Hom C (, ) C Set C jest w pełni wierny, przeto określa zanurzenie kategorii C w kategorii Set C, którego obrazem jest pełna podkategoria tej ostatniej o zbiorze obiektów { Hom C (X, ) X Obj C }, izomorficzna z kategori a C. Dowód. Odnosz ac tezȩ Lematu Yonedy do funktora F = Hom C (Y, ), stwierdzamy istnienie bijekcji Hom C (, ) Hom C (Y, X) Nat(Hom C (X, ), Hom C (Y, )) χ Hom C (χ, ), co oznacza właśnie, że funktor Hom C (, ) jest w pełni wierny. Tym samym kontrawariantny funktor o składowej obiektowej i morfizmowej Hom C (, ) C Set C, Hom C (, ) Obj C Obj Set C X Hom C (X, ) Hom C (χ, ) Hom C (, ) Mor C Mor Set C ( X χ Y ) ( Hom C (Y, ) Hom C (X, ) ) zadaje zanurzenie kategorii C w kategorii funktorów Set C, zwane zanurzeniem Yonedy. Lematu Yonedy i wynikaj acego zeń stwierdzenie o zanurzeniu stanowi a doskonał a ilustracjȩ najgłȩbszej idei, jaka tkwi u podstaw teorii kategorii, sformułowanej nie bez kozery w pierwszej połowie XX w. 4, tj. w czasach fenomenalnej eksplozji myślenia abstrakcyjnego w naukach przyrodnicznych na wszystkich skalach dostȩpnych poznaniu od skali atomowej po skalȩ kosmiczn a. Ich zawartość filozoficzna powinna być bliska sercu i umysłowi każdego fizyka, oto bowiem jedynym dostȩpnym nam sposobem empirycznego poznania elementarnych składników materii s a obserwacje ich oddziaływań z innymi składnikami materii. Najbardziej bodaj zwiȩzłej i obrazowej wulgaryzacji socjologicznej tych twierdzeń dostarcza stare rosyjskie (?) powiedzenie Powiedz mi, kto jest twoim przyjacielem, a powiem ci, kim jesteś. R.R.S.: Katedra Metod Matematycznych Fizyki, Wydział Fizyki Uniwersytetu Warszawskiego, ul. Pasteura 5, PL-02-093 Warszawa, Poland Adres mejlowy: suszek@fuw.edu.pl 4 Za twórców teorii kategorii uznaje siȩ Samuela Eilenberga i Saundersa MacLane a. Ten pierwszy był jednym z najwybitniejszych przedstawicieli (przedwojennej) warszawskiej szkoły matematycznej, w której wedle przekazu innego wybitnego polskiego matematyka, Stanisława Ulama idee rozwiniȩte przez niego po wojnie we współpracy z MacLane em kiełkowały już w dwudziestoleciu miȩdzywojennym. 6