Teori Topos

Topos adalah kategori yang berperilaku seperti kategori himpunan dan mendukung logika internal, menggeneralisasi baik teori himpunan maupun teori berkas (sheaves) serta menyediakan landasan kategoris untuk matematika.

Definition

Topos elementer adalah kategori dengan limit hingga, objek eksponensial, dan pengklasifikasi subobjek; ia memiliki struktur yang cukup untuk menginterpretasikan logika intuisionistik tingkat tinggi, sehingga berfungsi sebagai alam semesta himpunan yang digeneralisasi dengan matematika internalnya sendiri.

Scope

Topik ini mencakup topos elementer yang didefinisikan oleh limit hingga, eksponensial, dan pengklasifikasi subobjek, topos Grothendieck sebagai kategori berkas pada suatu situs, logika intuisionistik tingkat tinggi internal dari suatu topos, dan peran topos dalam memberikan landasan struktural dan alternatif serta dalam menghubungkan geometri dengan logika.

Core questions

• Struktur kategoris apa yang membuat suatu kategori berperilaku seperti kategori himpunan?
• Bagaimana topos membawa logika internal, dan mengapa ia bersifat intuisionistik?
• Bagaimana topos Grothendieck menggeneralisasi berkas dan mengkodekan geometri?
• Dalam pengertian apa topos dapat berfungsi sebagai fondasi matematika?

Key theories

Pengklasifikasi subobjek dan logika internal

Pengklasifikasi subobjek merepresentasikan subobjek dengan pemetaan ke objek nilai kebenaran, memberikan setiap topos logika tingkat tinggi internal yang secara umum bersifat intuisionistik daripada klasik.

Topos Grothendieck

Kategori berkas pada suatu situs membentuk topos Grothendieck, menggeneralisasi ruang topologi dan menyediakan kerangka kategoris yang dikembangkan Grothendieck untuk kohomologi dalam geometri aljabar.

Topos sebagai fondasi

Topos yang berpoin baik yang memenuhi prinsip pilihan memodelkan teori himpunan struktural, sehingga teori topos menyediakan alternatif kategoris untuk fondasi matematika berbasis keanggotaan.

Clinical relevance

Teori topos menyatukan geometri dan logika: topos Grothendieck mendasari geometri aljabar modern dan kohomologi, logika intuisionistik internal topos memodelkan matematika konstruktif dan menyediakan semantik untuk teori tipe, dan topos elementer memberikan penjelasan struktural tentang fondasi matematika.

History

Grothendieck dan kolaboratornya memperkenalkan topos sebagai kategori berkas pada tahun 1960-an untuk mendukung kohomologi skema. Lawvere dan Tierney kemudian memberikan aksiomatisasi elementer, murni kategoris pada awal 1970-an, mengungkapkan logika internal topos dan menetapkan teori topos sebagai jembatan antara geometri, logika, dan fondasi matematika.

Key figures

• Alexander Grothendieck
• F. William Lawvere
• Myles Tierney
• Peter Johnstone

Seminal works

• maclanemoerdijk1994
• johnstone2002
• awodey2010

Frequently asked questions

Mengapa logika internal topos bersifat intuisionistik?

Pengklasifikasi subobjek tidak harus memenuhi hukum tengah yang dikecualikan (law of excluded middle), karena kisi nilai kebenaran dalam topos umum adalah aljabar Heyting daripada aljabar Boolean. Akibatnya, logika yang divalidasi secara internal adalah intuisionistik, dengan logika klasik hanya dipulihkan dalam topos khusus.

Bagaimana topos menggeneralisasi kategori himpunan?

Kategori himpunan adalah topos paling sederhana, dan topos umum mempertahankan fitur struktural utamanya, limit hingga, ruang fungsi, dan pengklasifikasi himpunan bagian, sambil memungkinkan variasi di atas ruang atau teori logis. Hal ini memungkinkan seseorang untuk melakukan matematika mirip himpunan dalam konteks seperti berkas di mana kebenaran bersifat lokal.