Eşlenik Funktörler
Eşlenik funktörler, morfizmler arasındaki doğal bir karşılıklılıkla ilişkili funktör çiftleridir. Bu, matematik boyunca serbest yapılar, unutkan funktörler ve optimal çözümleri kapsayan yaygın bir örüntüdür.
Tanım
Bir funktör, kaynak bir nesneden bir nesnenin görüntüsüne olan morfizmler ile görüntüsünden o nesneye olan morfizmler arasında doğal bir bijeksiyon bulunduğunda, zıt yöndeki bir funktöre sol eşleniktir; bu tek ilişki, her nesne için evrensel bir özelliği kodlamaktadır.
Kapsam
Bu konu, hom-kümelerinin doğal bir bijeksiyonu aracılığıyla bir adjüksiyonun tanımını, birim ve karşı birim (counit) ile ve evrensel oklar aracılığıyla eşdeğer formülasyonlarını, sağ eşleniklerin limitleri ve sol eşleniklerin kolimitleri korumasını, eşlenik funktör teoremlerini ve adjüksiyonlar ile monadlar arasındaki bağlantıyı kapsamaktadır.
Temel sorular
- İki funktör arasındaki bir adjüksiyonu hangi doğal karşılıklılık tanımlar?
- Birim ve karşı birim (counit) adjüksiyonu nasıl kodlar?
- Sağ eşlenikler neden limitleri, sol eşlenikler ise kolimitleri korur?
- Bir funktör ne zaman bir eşleniğe sahiptir?
Temel kuramlar
- Hom-kümesi adjüksiyonu
- Bir adjüksiyon, iki hom-funktör arasında doğal bir izomorfizmdir; bu nedenle her sol eşlenik, sağ eşleniğin ortaya koyduğu bir probleme serbest veya en verimli çözümü sağlamaktadır.
- Birim, karşı birim (counit) ve üçgen özdeşlikleri
- Bir adjüksiyon, eşdeğer olarak, üçgen özdeşliklerini sağlayan birim ve karşı birim (counit) doğal dönüşümleriyle verilmektedir; bu tanım, hesaplama ve monadları tanımlama için oldukça uygundur.
- Limitlerin ve kolimitlerin korunumu
- Sağ eşlenikler tüm limitleri, sol eşlenikler ise tüm kolimitleri korumaktadır. Bu durum, birçok süreklilik ve kesinlik özelliğini açıklayan ve varoluş kriterlerini veren eşlenik funktör teoremlerini destekleyen bir gerçektir.
Klinik önem
Adjüksiyonlar, matematikteki en birleştirici fikirler arasında yer almaktadır: serbest gruplar, tensör-hom ilişkileri, Stone-Cech kompaktifikasyonu ve mantıktaki sözdizimi ile anlambilim arasındaki ilişki gibi kavramların hepsi adjüksiyonlardır. Bir adjüksiyonu tanımak, evrensel özellikleri ve koruma sonuçlarını hemen ortaya koyar; bu nedenle kategori teorisyenleri eşlenikliği merkezi bir kavram olarak görmektedir.
Tarihçe
Daniel Kan, 1958'de eşlenik funktörleri tanıtmış, serbest ve unutkan funktörler ile diğer ikili yapıları ilişkilendiren tekrarlayan örüntüyü fark etmiştir. Lawvere, sözdizimi ve anlambilim arasındaki eşleniklik de dahil olmak üzere adjüksiyonları temel olarak vurgulamıştır ve Freyd'in eşlenik funktör teoremleri, eşleniklerin varlığı için genel koşullar sunmuştur.
Öne çıkan isimler
- Daniel Kan
- Saunders Mac Lane
- F. William Lawvere
- Peter Freyd
İlgili konular
Temel eserler
- maclane1998
- awodey2010
- riehl2016
Sıkça sorulan sorular
- Bir adjüksiyonun bilinen bir örneği nedir?
- Serbest grup funktörü, bir grubun grup yapısını temel kümesine unutan funktöre sol eşleniktir. Bir kümeden bir gruba olan eşlemeler, o küme üzerindeki serbest gruptan gelen homomorfizmlerle doğal olarak karşılık gelir; bu da tam olarak adjüksiyon bijeksiyonudur.
- Matematikçiler neden eşlenik funktörlerin her yerde ortaya çıktığını söyler?
- Serbest yapılar, tamamlamalar, çarpımlar ve üstel ifadeler ile bir yapı ve onun daha basit bir gölgesi arasındaki birçok ilişki adjüksiyonlardır. Bu örüntü o kadar yaygındır ki, bir adjüksiyonu fark etmek, genellikle bir yapının evrensel özelliğine ve limitleri veya kolimitleri korumasına giden en hızlı yoldur.