Hidak és Profunktorok

Hasonló dokumentumok
Hidak és Profunktorok

Egyváltozós függvények 1.

Vektorok. Wettl Ferenc október 20. Wettl Ferenc Vektorok október / 36

Kvantumszimmetriák. Böhm Gabriella. Szeged. Wigner Fizikai Kutatóközpont, Budapest november 16.

Hidak és Profunktorok

1. tétel - Gráfok alapfogalmai

Diszkrét matematika 2.C szakirány

KOVÁCS BÉLA, MATEMATIKA I.

Kronecker-modulusok kombinatorikája és alkalmazások

17. előadás: Vektorok a térben

Diszkrét matematika II. gyakorlat

Chomsky-féle hierarchia

Permutációk véges halmazon (el adásvázlat, február 12.)

1. előadás: Halmazelmélet, számfogalom, teljes

Diszkrét matematika 2. estis képzés

Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé.

Ramsey-féle problémák

Diszkrét matematika 2.C szakirány

MM CSOPORTELMÉLET GYAKORLAT ( )

Matematikai statisztika 1.

Relációk. 1. Descartes-szorzat

Csoporthatások. 1 Alapfogalmak 1 ALAPFOGALMAK. G csoport hatása az X halmazon egy olyan µ: G X X leképezés, amelyre teljesül

MBNK12: Permutációk (el adásvázlat, április 11.) Maróti Miklós

2. gyakorlat. A polárkoordináta-rendszer

Haladók III. kategória 2. (dönt ) forduló

MATE-INFO UBB verseny, március 25. MATEMATIKA írásbeli vizsga

2. Halmazelmélet (megoldások)

Lineáris algebra 2. Filip Ferdinánd december 7. siva.banki.hu/jegyzetek

A kvantummechanika matematikai alapjairól

HALMAZELMÉLET feladatsor 1.

A matematika nyelvér l bevezetés

Diszkrét matematika 2.C szakirány

Vektorterek. Több esetben találkozhattunk olyan struktúrával, ahol az. szabadvektorok esetében, vagy a függvények körében, vagy a. vektortér fogalma.

MM4122/2: CSOPORTELMÉLET GYAKORLAT ( ) 1. Ismétlés február 8.február Feladat. (2 pt. közösen megbeszéltük)

Matematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1

Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 1

Függvényhatárérték és folytonosság

Diszkrét matematika 2.

E-unitér inverz monoidok F -inverz fed i

Diszkrét matematika 2.

Oktatói önéletrajz. Dr. Tasnádi Attila. Karrier. egyetemi tanár. Közgazdaságtudományi Kar Matematika Tanszék. Felsőfokú végzettségek:

Deníciók és tételek a beugró vizsgára

Sztojka Miroszláv LINEÁRIS ALGEBRA Egyetemi jegyzet Ungvár 2013

Az univerzális gráf. 1. Bevezet. Maga Péter, Pongrácz András

Lineáris algebra és a rang fogalma (el adásvázlat, szeptember 29.) Maróti Miklós

Gy ur uk aprilis 11.

Lineáris leképezések. Wettl Ferenc március 9. Wettl Ferenc Lineáris leképezések március 9. 1 / 31

Komplex számok. Komplex számok és alakjaik, számolás komplex számokkal.

Polinomok (el adásvázlat, április 15.) Maróti Miklós

Halmazelmélet. 2. fejezet 2-1

Algoritmuselmélet. Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem. 13.

KOVÁCS BÉLA, MATEMATIKA I.

KOVÁCS BÉLA, MATEMATIKA I.

Diszkrét matematika 2.C szakirány

és annak H részcsoportja úgy, hogy a [H, G] intervallum (azaz a G-beli, H-t tartalmazó részcsoportok hálója) L-lel izomorf legyen?

Bevezetés. 1. fejezet. Algebrai feladatok. Feladatok

Matematika alapjai; Feladatok

Miskolci Egyetem GÉPÉSZMÉRNÖKI ÉS INFORMATIKAI KAR. Osztályozási fák, durva halmazok és alkalmazásaik. PhD értekezés

Opkut deníciók és tételek

Rekurzív sorozatok oszthatósága

Optika gyakorlat 1. Fermat-elv, fénytörés, reexió sík és görbült határfelületen. Fermat-elv

Diszkrét matematika 1. estis képzés

24. szakkör (Csoportelméleti alapfogalmak 3.)

1. Példa. A gamma függvény és a Fubini-tétel.

Idegen atomok hatása a grafén vezet képességére

Relációk. 1. Descartes-szorzat. 2. Relációk

Diszkrét matematika 2.C szakirány

Predikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést.

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus

GAZDASÁGMATEMATIKA KÖZÉPHALADÓ SZINTEN

Klasszikus algebra előadás. Waldhauser Tamás március 24.

Eötvös Loránd Tudományegyetem. Természettudományi Kar. Véges projektív síkok egy kártyajáték szemszögéb l. Rajta László. szakdolgozat.

Mátrixfüggvények. Wettl Ferenc április 28. Wettl Ferenc Mátrixfüggvények április / 22

3. el adás: Determinánsok

DiMat II Végtelen halmazok

Szinguláris értékek. Wettl Ferenc április 3. Wettl Ferenc Szinguláris értékek április 3. 1 / 28

1. Komplex függvények dierenciálhatósága, Cauchy-Riemann egyenletek. Hatványsorok, elemi függvények

Diszkrét matematika I., 12. előadás Dr. Takách Géza NyME FMK Informatikai Intézet takach november 30.

Lin.Alg.Zh.1 feladatok

2014. szeptember 24. és 26. Dr. Vincze Szilvia

n =

LINEÁRIS ALGEBRA (A, B, C) tematika (BSc) I. éves nappali programtervező informatikus hallgatóknak évi tanév I. félév

Véges ponthalmazok legrövidebb hálózatai Kábelrakás kis költséggel

Diszkrét matematika 2. estis képzés

ELTE IK Esti képzés tavaszi félév. Tartalom

Halmazelmélet. 1. előadás. Farkas István. DE ATC Gazdaságelemzési és Statisztikai Tanszék. Halmazelmélet p. 1/1

GAZDASÁGMATEMATIKA KÖZÉPHALADÓ SZINTEN

Hálók kongruenciahálója

13.1.Állítás. Legyen " 2 C primitív n-edik egységgyök és K C olyan számtest, amelyre " =2 K, ekkor K(") az x n 1 2 K[x] polinomnak a felbontási teste

Vektorterek. Wettl Ferenc február 17. Wettl Ferenc Vektorterek február / 27

1. A k-szerver probléma

MATEMATIKA A és B variáció

Diszkrét matematika I.

Határérték. Wettl Ferenc el adása alapján és Wettl Ferenc el adása alapján Határérték és

Modellek és Algoritmusok - 2.ZH Elmélet

Diszkrét matematika 2. estis képzés

Felügyelt önálló tanulás - Analízis III.

Analitikus térgeometria

Kék Szériás égéslevegő bevezető és füstgáz elvezető rendszerek méretezése zárt égésterű (nem kondenzációs) kazánokhoz

Optika gyakorlat 6. Interferencia. I = u 2 = u 1 + u I 2 cos( Φ)

Átírás:

Hidak és Profunktorok Pécsi Bertalan a disszertáció tézisei 2012 ELTE TTK, Matematika Doktori Iskola (vezeti: Laczkovich Miklós, egyetemi tanár) Elméleti Matematika Program (vezeti: Sz cs András, egyetemi tanár) Témavezet : Sain Ildikó, a matematikai tudományok kandidátusa

Kivonat A `Hidak és Profunktorok' cím értekezés tárgya a bikategóriák, kett s kategóriák és a köztük men lax, kolax funktorok egy alternatív, koherencia-ötszögt l és különbözeti celláktól mentes felépítése és néhány további, ezekhez kapcsolódó struktúra vizsgálata. Az axiomatikus felépítésben Tom Leinster egyik irányvonalát követjük, továbbá profunktorokat és reexiókat használunk. o Alább felvázoljuk az értekezés f bb téziseit fejezetenként. Amelyeknél nem szerepel küls hivatkozás nem saját publikációra, azok legjobb tudomásom szerint, mind saját eredmények. 1. Bikategóriák Tom Leinster unbiased bicategory deníciójának [Leinster] egy elemi interpretációját adjuk (1.1. def.): eszerint egy bikategóriában adottak pontok (objektumok), a pontok között nyilak, a nyilak között 2-cellák ( ), amik függ - legesen komponálhatóak egymással (minden pontpárra a köztük men nyilak és az azok közti 2-cellák kategóriát alkotnak), valamint a nyilak is komponálhatóak vízszintesen, azonban ez a kompozíció csak izomorzmus erejéig ( gyengén) asszociatív. Az 1.1. def.-ban a nyilak kompozícióját egy gyengén asszociatív m veletcsaláddal adjuk meg: minden n hosszú úthoz rendelünk egy nyilat az út kezd pontjától a végpontjáig. Az n = 0 esetet is értelmezhetjük, így a kompozíció és az egység egy füst alatt kezelhet, továbbá a koherencia axióma is egy fokkal befogadhatóbb, mint az eredeti Bénabou-féle denícióban. Ezután felvázolunk néhány bikategórián belül értelmezhet fogalmat, úgymint adjungált nyílpár vagy bels monoid, monoidhatás, bels bimodulus. Példaként bemutatjuk többek között a Span bikategóriát (1.1.7. pl.): ennek objektumai a halmazok, az A és B halmazok közti nyilai az A, B ponthalmazokon vett páros gráfok, azaz az A E B (kezd - és végpontot kijelöl ) függvénypárok (span-ek), ahol E a páros gráf éleinek halmaza. Span 2-cellái a pontokat xen hagyó gráfmorzmusok; a páros gráfok vízszintes kompozíciójában az élek az egymást követ élpárok lesznek, illetve n-hosszú élsorozatok az n-tényez s kompozíció esetére. 1.1.14. példa: A Span bikategória bels monoidjai pont a kategóriák, [Betti]. 2. Profunktorok A 2., 3. és 4. fejezetek eredményeit a [Pecsi] cikkben publikáltam, és egy töredékük már a diplomamunkámban is szerepelt, [PecsiDipl]. 1

2.1. Deníció. A H kategóriát hídnak nevezzük az A és B kategóriák közt, ha A és B [vagy izomorf példányaik] diszjunkt teljes részkategóriák H-ban, és H-nak nincs más objektuma, azaz ObH = ObA ObB. Jel.: H:A B. Az A-n és B-n kívüli nyilakat heteromorzmusoknak nevezzük. A H hidat irányított hídnak vagy röviden ágnak hívjuk, ha nincs B A alakú heteromorzmusa (legfeljebb tehát csak A B alakú). Jel.: H:A B. Az A B irányított hidak egyfel l a Span-beli bels bimodulusokat testesítik meg, másfel l még az A op B Set alakú funktorokat, úgynevezett profunktorokat is. Bevezetjük a kategóriák és ágak Prof bikategóriáját, majd a kategóriák és funktorok Cat bikategóriájának két kanonikus, Prof-ba való beágyazását tárgyaljuk: e szerint minden F :A B funktor meghatároz egy F :A B és egy F :B A ágat, valamint belátjuk a következ t: 2.7. Tétel. Legyen F :A B egy ág. Ekkor a következ k teljesülnek: a) Pontosan akkor van olyan F : A B funktor, amire F = F, ha B reektív részkategóriája F-nek. b) Pontosan akkor van olyan G:B A funktor, amire F = G, ha A koreektív részkategóriája F-nek. c) Ha mindkét feltétel teljesül, a reexiókból és koreexiókból deniálható F és G funktorok adjungáltak lesznek: F G (azaz F = G ). 2.9. Következmény. Tekintsük azt az Adj kategóriát, aminek objektumai a kategóriák, A-ból B-be men nyilai az adjungált funktorpárok F, G A B A : F G. Tekintsük továbbá ennek a következ két részkategóriáját: Corefl := { F, G Adj F teljes beágyazás} Refl := { F, G Adj G teljes beágyazás}. Ekkor Adj = Corefl Refl, azaz F G adjunkcióhoz F 1 G 1 és F 2 G 2, hogy F = F 1 F 2, G = G 2 G 1, és F 1 és G 2 teljes beágyazások. 3. Ekvivalenciahidak A kategóriák ekvivalenciáját és Morita ekvivalenciáját jellemezzük bizonyos fajta hidakkal: 3.4. Tétel. Két kategória, A és B, pontosan akkor ekvivalens egymással Catban, ha létezik köztük egy olyan H : A B híd, amiben minden A ObA-hoz van egy B ObB és minden B ObB-hez van egy A ObA úgy, hogy H-ban A = B. 2

3.9. Tétel. Két kategória, A és B, pontosan akkor Morita ekvivalens egymással (azaz ekvivalensek Prof-ban), ha létezik köztük egy olyan M : A B híd, amiben minden nyíl felírható heteromorzmusok kompozíciójaként. 4. Morita-összefüggések A gy r k köréb l ismert ún. Morita-összefüggések és a hidak közös általánosítását vezetjük be, tetsz leges bikategóriában: 4.1. Deníció. Legyenek adottak az f : A B és g : B A nyilak egy bikategóriában, ellátva µ : fg = 1 A és ν : gf = 1 B ún. alkotó 2-cellákkal. Ezek egy (bels ) Morita-összefüggést határoznak meg, amennyiben µf = fν és gµ = νg. Ezután felvázoljuk El Kaoutit tételét (4.3. tétel, [El Kaoutit]), miszerint bármely B bikategória bels Morita-összefüggései egy újabb bikategóriát alkotnak, amit MrtB-vel jelölünk. 4.5. Állítás. Ha egy Morita-összefüggés egyik alkotó 2-cellája balinvertálható, akkor izomorzmus. Az ilyen Morita-összefüggések (a szóban forgó alkotó 2-cella invertálásával) egy az egyben megfelelnek az invertálható egység adjunkcióknak. Azokat a Morita-összefüggéseket, amelyeknek mindkét alkotó 2-cellája invertálható, szigorúaknak hívjuk, és ezek az adjungált ekvivalenciáknak felelnek meg. 4.7. Tétel. A következ feltételek ekvivalensek egy f Morita-összefüggésre: a) f szigorú. b) Valamely h szigorú Morita-összefüggésb l megy egy MrtB-beli 2-cella f-be. [Egy ilyen 2-cella ekkor mindenképpen izomorzmus.] c) f egy ekvivalencianyíl MrtB-ben. 4.8. Következmény. Két objektum pontosan akkor ekvivalens MrtB-ben, ha már B-ben ekvivalensek voltak. 4.9. Következmény. Az MrtB bikategóriában minden adjunkciónak invertálható az egysége (következésképp Morita-összefüggésnek is tekinthet ). 5. Kett s kategóriák Ha egy bikategóriát úgy b vítünk függ leges struktúrával, hogy abban már nem feltétlenül csak párhuzamos nyilak között mehetnek 2-cellák (a kés bbiekben csak: cellák), akkor a pszeudo kett s kategória fogalmához jutunk. 3

Minthogy nálunk alapértelmezésben csak gyengén asszociatív a vízszintes kompozíció, általában elhagyjuk a `pszeudo' el tagot. (Megj. [?]-ban a függ leges kompozíció a gyengén asszociatív.) El ször bevezetjük az A bikategóriából B-be men kett s ág fogalmát (5.1. def.), amiben a pontok között olyan átmen, úgynevezett függ leges nyilak mehetnek, amiket nem kell tudni összekomponálni A és B nyilaival, és a nyilak között átmen cellák mehetnek, két kitüntetett függ leges nyíl mentén. Az átmen cellákat komponálni lehet felülr l A, alulról B 2-celláival, valamint vízszintesen egymással: α a 1 a 2 ϕ β ϕ b 1 ψ b 2 a i, α A, b i, β B Ezek után, egy (pszeudo) kett s kategóriát úgy értelmezünk, mint egy bels monoid a bikategóriák és kett s ágak BicProf bikategóriájában. A monoidm - veletre mint függ leges kompozícióra tekintünk. Például, a Span bikategória fölé építhet az a (SET-tel jelölt) kett s kategória, amiben a függ leges nyilak a ponthalmazok közti függvények, és a cellák az ezek menti gráfmorzmusok. Az 5.3.7. példában bevezetjük egy B (szigorúan asszociatív) bikategória Ehresmann-féle kvintettjeinek a Q(B) kett s kategóriáját, [Ehresmann], aminek a függ leges és vízszintes nyilai is a B-beli nyilak, és cellái az av = ub alakú 2-cellák: u a b A BicProf-beli bels monoidok közti bimodulusokat a kett s kategóriák közti kett s ágaknak hívjuk, az ezek által alkotott bikategóriát DbProf jelöli. Egy A B kett s ág tekinthet A-t és B-t magában foglaló kett s kategóriának, ugyanúgy, ahogy egy ág tekinthet kategóriának. A 2. fejezetben írtak két dimenziós analógiájaként, reexiókkal illetve koreflexiókkal egy egyszer jellemzését adjuk a bi- és kett s kategóriák elméletében alapvet szerepet játszó kolax és lax funktoroknak: 5.9. Deníció. Egy F, (k A ) A, (κ a ) a hármast reektív kett s ágnak hívunk, ha F:A B kett s ág, amiben minden A ObA objektumhoz adott egy v. 4

A-ból induló k A függ leges reexiónyíl, és minden a A vízszintes nyílhoz A A 1 egy κ a : k A a k A1 reexiócella. A következ kben igazoljuk, hogy az A B reektív kett s ágak és az A B kolax funktorok egyértelm en meghatározzák egymást, izomorzmus erejéig (5.11., 5.14., 5.17. tételek). A K kolax funktorhoz tartozó kett s ágat K jelöli. Duálisan, az A B koreektív kett s ágak és B A lax funktorok is kölcsönösen meghatározzák egymást (5.13. tétel). Az L lax funktorhoz tartozó kett s ágat L jelöli. Az 5.15.c) állításban bebizonyítjuk Böhm Gabriella egy, a Rényi Intézetben tartott algebra szemináriumon felvetett sejtését: egy kett s kategória vízszintes bikategóriájában lév Morita-összefüggések jellemezhet ek egy egyszer speciális 2-kategóriából kiinduló lax funktorokkal, aminek két, egymással izomorf pontja van, egyetlen izomorzmus párral közöttük, és triviális (identikus) 2- cellái. Ld. még [Pecsi]. Ez folytatja a bels monoidok és bimodulusok egy-egy egyszer 2-kategóriából men lax funktorokkal való prezentálásának a sorát, ld. 5.15. állítás, vö. pl. [Koslowski]. 5.16. Állítás. Legyenek A és B kett s kategóriák. Ekkor az A co B SET lax funktorok egy az egyben megfeleltethet ek az A B kett s ágaknak. 6. Kolax/lax adjunkciók A [Gran-Pare2]-ben és 6.4.-ben bevezetett Dbl kett s kategóriát, melynek objektumai a pszeudo kett s kategóriák, vízszintes nyilai a lax, függ leges nyilai a kolax funktorok, lokálisan teljesen beágyazzuk a DbProf bikategóriából képzett Ehresmann-féle kvintettek Q(DbProf) kett s kategóriájába, mely mindkét irányban gyengén asszociatív. (6.5. tétel.) Ez a beágyazás vízszintesen kontravariáns, így a Dbl-beli ortogonális adjunkciók, azaz a kolax/lax adjunkciók, megfeleltethet ek a Q(DbProf)-beli kísér pároknak (angolul companion pairs), ami egy csapásra igazolja a következ tételt, amely az 5.16. állításbeli megfeleltetést használva, a [ Pare] és a [Fio-Gam-Kock] írásokban is megjelent. 6.6. Tétel. Egy K kolax és egy L lax funktor pontosan akkor adjungáltak a Dbl kett s kategóriában, ha K = L a DbProf bikategóriában. A fenti Dbl op Q(DbProf) beágyazás egy dimenziós megfelel je az a Q(Cat) op Q(Prof) (szintén lokálisan teljes) beágyazás, amit a 2.10.-ben tárgyalt Cat op Prof és Cat co Prof beágyazások összetevéséb l nyerhetünk. Erre alkalmazva az iménti tétel megfelel jét, világossá válik az adjun- 5

gált funktorpár kétféle deníciójának ekvivalenciája: ha ugyanis F : A B és G:B A funktorok, úgy F G Cat-ban F G Q(Cat)-ban F -nak vízszintes kísér je a G Q(Prof)-ban F = G Prof-ban. Függelék Az A. részben összevetjük a Bénabou-féle és az értekezésben interpretált Leinsterféle bikategóriákat (A.1. és 1.1. def.), lásd még [Leinster]. A B. részben a saját eszközeinkkel (kett s ágakkal) interpretáljuk a 6. fejezetben el forduló Verity-féle, mindkét irányban gyengén asszociatív kett s kategóriákat és a köztük men pszeudofunktorokat, a B.1. és B.3. deníciókban. Vö. [Morton], [Verity]. Hivatkozások o [Benabou] [Betti] [Ehresmann] J. Bénabou. Introduction to Bicategories Reports of the Midwest Category Seminar, Lecture Notes in Mathematics vol.47, (1967), pp. 177. R. Betti. Formal Theory of Internal Categories. Le Matematiche, vol.51, (1996), pp. 3552. C. Ehresmann. Catégories Structurées III: Quintettes et Applications Covariantes. Cahiers Top. Géom. Di. Cat., vol.5, (1963), pp. 122. [El Kaoutit] L. El Kaoutit. Wide Morita Contexts in Bicategories. Arab. J. Sci. Eng. vol.33, (2008), pp. 153173. http://arxiv.org/ps_cache/math/pdf/0608/0608601v1.pdf [Fio-Gam-Kock] [Gran-Pare2] [Koslowski] Thomas M. Fiore, N. Gambino and J. Kock. Double Adjunctions and Free Monads. preprint, (2011). http://arxiv.org/abs/1105.6206v2 M. Grandis and R. Paré. Adjoint for Double Categories. Cahiers Top. Géom. Di. Cat., vol.45, (2004), pp. 193240. J. Koslowski. Monads and Interpolads in Bicategories. Theory and Applications of Categories, vol.3 No. 8, (1997), pp. 182-212. [Leinster] T. Leinster. Higher operads, higher categories. Cambridge University Press, Cambridge 2004. 6

[Morton] Jerey Morton. Double Bicategories and Double Cospans. Journal of Homotopy and Related Structures, vol.4, (2009), pp. 389-428. http://arxiv.org/ps_cache/math/pdf/0611/0611930v3.pdf [Pare] Robert Paré. Yoneda Theory for Double Categories. Theory and Applications of Categories, vol.25, No. 17, (2011), pp. 439 489. [Pecsi] Bertalan Pécsi. On Morita Context in Bicategories. Applied Categorical Structures, vol.20, (2012), pp. 415432. [PecsiDipl] [Verity] Bertalan Pécsi. Categorical Trees as Formulas. Master's Thesis: ELTE Univ., Budapest Vrije Univ., Amsterdam (2003). http://renyi.hu/ aladar/diploma.pdf Dominic Verity. Enriched Categories, Internal Categories and Change of Base. (1992). Reprints in Theory and Applications of Categories, No.20, (2011), pp. 1266. 7