Snopi nad okoliši : delo diplomskega seminarja

Kobe, Ivan (avtor), Simpson, Alexander Keith (mentor)

V pričujočem delu diplomskega seminarja bomo predstavili kategorijo okolišev, ki je z vidika teorije kategorij naraven pristop k topologiji in posploši mnoge topološke konstrukcije, med drugim snope. Nato bomo pokazali, da lahko snope nad okoliši obravnavamo tudi z drugačne perspektive, namreč kot poseben primer snopov nad lokacijami, tj. delnimi ureditvami, opremljenimi z Grothendieckovo topologijo. Z uporabo te karakterizacije bomo podali primer presenetljive aplikacije snopov nad nekim okolišem, ki ovrže hipotezo kontinuuma, če slednjo interpretiramo kot trditev o kategoriji snopov nad danim okolišem. Ta argument vsebuje matematično jedro Cohenovega dokaza združljivosti negacije hipoteze kontinuuma z aksiomi Zermelo-Fraenklove teorije množic.

• Jezik: Slovenski jezik
• Ključne besede: okoliš, lokacija, snop, topos, hipoteza kontinuuma
• Vrsta gradiva: Delo diplomskega seminarja/zaključno seminarsko delo/naloga
• Tipologija: 2.11 - Diplomsko delo
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Leto izida: 2023
• PID: 20.500.12556/RUL-150545
• UDK: 510.6
• COBISS.SI-ID: 165230595
• Datum objave v RUL: 20.09.2023

KOBE, Ivan, 2023, Snopi nad okoliši : delo diplomskega seminarja [na spletu]. Diplomsko delo. [Dostopano 26 april 2025]. Pridobljeno s: https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&id=150545

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Localic sheaves

Izvleček

In our thesis, we study the category of locales, a natural categorical approach to topology which generalises many topological constructions, e.g. sheaves. We show that sheaves on a locale also have an alternative perspective, since we can view them as a special case of sheaves on a site, i.e. a partially ordered set with a Grothendieck topology. Using this latter formulation we will give a striking application of the category of sheaves on a locale which refutes the continuum hypothesis if the latter is interpreted as a statement about that category. This argument contains the matematical core of Cohens proof of the compatibility of the negation of the continuum hypothesis with the axioms of Zermelo-Fraenkl set theory.

• Ključne besede: locale, site, sheaf, topos, continuum hypothesis