The Scott adjunction

Mgr. Ivan Di Liberti, Ph.D.

Disertační práce

Anotace:

Během doktorského studia se autor převážně věnoval kategoriální teorii modelů. První výsledky byly věnovány pochopení slabých Frai\"iss\'e limit (viz [Kubis]) z pohledu teorie kategorií a byly publikovány v [Dil19]. Později autor studoval monády kohustoty, které hrají důležitou roli v kategoriální univerzální algebře (viz např. [Leinster]) a připravil článek [Lib19]. Oba články je třeba považovat za součást této dizertace, Od té doby se autor soustředil na studiun Scottovy adjunkce propojující dosažitelné kategorie s direktními kolimitami a toposy. Tato adjunkce byla již uveřejněna ve spolupráci se Simonem Henrym v [Hen19]. Vytvořená teorie tvoří nejdůležitější část dizertace a bude předložena k publikaci v blízké budoucnosti. Po stanovení základních vlastností Scottovy adjunkce, jsou studovány její aplikace na teorii modelů a její geometrické interpretace. Z geometrického hlediska zavádíme kategorifikovanou Isbellovu dualitu spojující omezené (i velké) ionády s toposy. Kategorifikovaná Isbellova dualita interaguje se Scottovou adjunkcí a poskytuje kategorifikaci Scottovy topologie na uspořádaných množinách (odsud pochází její název). Ukazujeme, že kategorifikovaná Isbellova dualita he idempotentní, podobně jako její nekategorifikovaná verze. Z pohledu logiky, používáme tuto mašinérii k nalezení kandidáta na geometrickou axiomatizaci dosažitelných kategorií s direktními kolimitami. Zejména, studujeme 2-kategorii dosažitelných kategorií s direktními kolimitami s využitím postupů a myšlenek formální teorie kategorií - tento přístup je částí obecné výzkumné motivace autora, což je viditelné v [Lib19]. Diskutujeme souvislosti mezi Scottovou adjunkcí a teorií klasifikujícíxh toposů. Náš přístup porovnáváme s klasičtější teorií abstraktních elementárních tříd. Analyzujeme vztah mezi atomickými toposy a kategoričností, čímž nabízíme koncepčnější pochopení dřívějšího autorova příspěvku k této problematice [Di 19], čímž dále rozvíjíme výzkum zahájený v [Ros97]. Z více kategoriálního pohledu ukazujeme, že 2-kategorie toposů je obohacená nad dosažitelnými kategoriemi s direktními kolimitami a korelujeme tento výsledek se Scottovou adjunkcí.

Abstract:

During his doctoral study, the author has mostly dealt with a categorical model theory. The first results were devoted to an understanding of weak Frai\"iss\'e limits (see [Kubis]) from the point of view of category theory and were published in \cite{zbMATH07106179}. Later, the author studied codensity monads playing an important role in categorical universal algebra (see, e.g., [Leinster]) and prepared the paper [Lib19]. Both the papers should be considered as a part of this thesis. \\ Since then, the author has concentrated his efforts to the development of the Scott adjunction, relating accessible categories with directed colimits to topoi. This adjunction has already appeared in the literature in collaboration with Simon Henry [Hen19]. The resulting theory form the most important part of the thesis and will we submitted for a publication in a near future. After establishing basic properties of the Scott adjunction, we study both its applications to model theory and its geometric interpretation. From the geometric point of view, we introduce the categorfied Isbell duality, relating bounded (possibly large) ionads to topoi. The categorified Isbell duality interacts with the Scott adjunction offering a categorfication of the Scott topology over a poset (hence the name). We show that the categorfied Isbell duality is idempotent, similarly to its uncategorified version. From the logical point of view, we use this machinery to provide candidate (geometric) axiomatizations of accessible categories with directed colimits. In particular, we study the $2$-category of accessible categories with directed colimits using the tools and the mind-setting of formal category theory, this formal approach is part of a very general research-motive of the author and is prominently evident in \cite{liberti2019codensity}. We discuss the connection between the above-mentioned adjunctions and the theory of classifying topoi. We relate our framework to the more classical theory of abstract elementary classes. We discuss the relation between atomic topoi and categoricity, providing a more conceptual understanding of our previous contributions to the topic [Di 19], and continuing the research line of [Ros97]. From a more categorical perspective, we show that the $2$-category of topoi is enriched over accessible categories with directed colimits and we relate this result to the Scott adjunction.

Keywords

categorical logic, logic, category theory, topos, accessible category, sketch, syntax-semantics duality, reconstruction, categorification, ionad.

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 15. 4. 2020

Obhajoba závěrečné práce

• Obhajoba proběhla 9. 9. 2020
• Vedoucí: prof. RNDr. Jiří Rosický, DrSc.
• Oponent: Tibor Beke, Richard Garner

Masarykova univerzita

Přírodovědecká fakulta

Doktorský studijní program / obor:
Matematika a statistika / Algebra, teorie čísel a matematická logika