Ultrafilters and their monads
Ultrafiltry a jejich monády
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/174263Identifikátory
SIS: 246853
Kolekce
- Kvalifikační práce [10690]
Autor
Vedoucí práce
Konzultant práce
Šaroch, Jan
Oponent práce
Růžička, Pavel
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Obecná matematika
Katedra / ústav / klinika
Katedra algebry
Datum obhajoby
16. 6. 2022
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně
Klíčová slova (česky)
ultrafiltr|monáda|částečné uspořádání|topologieKlíčová slova (anglicky)
ultrafilter|monad|partial order|topologyZobecňujíce pojem ultrafiltru na ostrukturované množiny, zkonstruujeme monádu ul- trafiltrů v kategoriích částečně uspořádaných množin a konečně obarvitelných grafů. Po- stupujeme obdobně jako u codensity monád, jelikož víme, že codensity monáda inkluze konečných množin mezi všechny množiny je izomorfní monádě ultrafiltrů. Odvodíme ekvi- valentní definici ultrafiltru na objektu, již lze aplikovat i v případě nikoliv konečně obar- vitelných grafů. I pomocí této definice lze sestrojit monádu. Ukážeme, že v případě, kdy dané uspořádání má pouze konečné antiřetězce, lze ultrafiltry na něm zcela popsat pomocí suprem a infim usměrněných podmnožin. Pokusíme se klasifikovat algebry nad monádou ultrafiltrů v kategorii uspořádání. Z našeho výsledku plyne úplná klasifikace algeber se všemi antiřetězci konečnými, jde o uspořádání spolu s jistým typem kompaktní Hausdor- ffovy topologie. 1
Generalising the notion of an ultrafilter to structured sets, we construct the ultrafilter monad in the categories of partially ordered sets and finitely colourable graphs. This is done similarly to codensity monads, knowing that the codensity monad of the inclusion of finite sets into sets is the ultrafilter monad. We derive an equivalent definition of an ultrafilter on an object applicable for general graphs, also giving rise to a monad. We show that ultrafilters on a poset can be completely characterised in terms of suprema or infima of directed subsets when the poset has only finite antichains. We attempt to classify algebras over the poset ultrafilter monad; our results completely classify the algebras with all antichains finite as posets with a particular compact Hausdorff topology. 1