Topos Kuramı
Bir topos, kümeler kategorisi gibi davranan ve içsel bir mantığı destekleyen, hem küme kuramını hem de demetler (sheaves) kuramını genelleştiren ve matematiğin kategorik temelleri için bir zemin sunan bir kategoridir.
Tanım
Temel bir topos, sonlu limitlere, üstel nesnelere ve bir alt nesne sınıflandırıcısına sahip bir kategoridir; yüksek mertebeden sezgisel bir mantığı yorumlayabilecek yeterli yapıya sahiptir, bu nedenle kendi içsel matematiğiyle genelleştirilmiş bir kümeler evreni olarak işlev görmektedir.
Kapsam
Bu konu, sonlu limitler, üstel nesneler ve bir alt nesne sınıflandırıcısı ile tanımlanan temel toposları, bir site üzerindeki demetlerin kategorileri olarak Grothendieck toposlarını, bir toposun içsel yüksek mertebeden sezgisel mantığını ve toposların yapısal ve alternatif temeller sağlamadaki ve geometriyi mantıkla ilişkilendirmedeki rolünü kapsamaktadır.
Temel sorular
- Hangi kategorik yapı, bir kategorinin kümeler kategorisi gibi davranmasını sağlar?
- Bir topos içsel bir mantığı nasıl taşır ve neden sezgiseldir?
- Grothendieck toposları demetleri nasıl genelleştirir ve geometriyi nasıl kodlar?
- Bir topos hangi anlamda matematiğin temeli olarak hizmet edebilir?
Temel kuramlar
- Alt nesne sınıflandırıcısı ve içsel mantık
- Bir alt nesne sınıflandırıcısı, alt nesneleri bir doğruluk değeri nesnesine yapılan eşlemelerle temsil eder ve her toposa genellikle klasik olmaktan ziyade sezgisel olan içsel bir yüksek mertebeden mantık kazandırır.
- Grothendieck toposları
- Bir site üzerindeki demet kategorileri Grothendieck toposlarını oluşturur, topolojik uzayları genelleştirir ve Grothendieck'in cebirsel geometride kohomoloji için geliştirdiği kategorik çerçeveyi sağlar.
- Temel olarak toposlar
- Bir seçim ilkesini sağlayan iyi işaretlenmiş bir topos, yapısal bir küme kuramını modeller; bu nedenle topos kuramı, matematiğin üyelik tabanlı temellerine kategorik bir alternatif sunar.
Klinik önem
Topos kuramı geometri ve mantığı birleştirir: Grothendieck toposları modern cebirsel geometri ve kohomolojinin temelini oluşturmaktadır, toposların içsel sezgisel mantığı yapıcı matematiği modellemekte ve tip kuramı için semantik sağlamaktadır ve temel toposlar matematiğin temellerine yapısal bir açıklama sunmaktadır.
Tarihçe
Grothendieck ve çalışma arkadaşları, şemaların kohomolojisini desteklemek amacıyla 1960'larda toposları demet kategorileri olarak tanıtmışlardır. Lawvere ve Tierney ise 1970'lerin başında temel, tamamen kategorik aksiyomatizasyonu sunmuşlar, bir toposun içsel mantığını ortaya koyarak ve topos kuramını geometri, mantık ve matematiğin temelleri arasında bir köprü olarak kurmuşlardır.
Öne çıkan isimler
- Alexander Grothendieck
- F. William Lawvere
- Myles Tierney
- Peter Johnstone
İlgili konular
Temel eserler
- maclanemoerdijk1994
- johnstone2002
- awodey2010
Sıkça sorulan sorular
- Bir toposun içsel mantığı neden sezgiseldir?
- Alt nesne sınıflandırıcısının dışlanan orta yasasını (law of excluded middle) sağlaması gerekmez, çünkü genel bir toposdaki doğruluk değerlerinin kafesi (lattice) bir Boole cebiri yerine bir Heyting cebiridir. Sonuç olarak, içsel olarak geçerli olan mantık sezgiseldir ve klasik mantık yalnızca özel toposlarda geri kazanılmaktadır.
- Bir topos kümeler kategorisini nasıl genelleştirir?
- Kümeler kategorisi en basit toposdur ve genel bir topos, sonlu limitler, fonksiyon uzayları ve alt kümelerin bir sınıflandırıcısı gibi temel yapısal özelliklerini korurken, bir uzay veya mantıksal bir kuram üzerinde değişime izin verir. Bu, doğrunun yerel olduğu demetler gibi bağlamlarda küme benzeri matematik yapılmasına olanak tanır.