Kategoriler, Funktörler ve Doğal Dönüşümler
Kategoriler, funktörler ve doğal dönüşümler, kategori kuramının üç temel kavramını oluşturmaktadır; bunlar yapıları, yapılar arasındaki dönüşümleri ve bu dönüşümler arasındaki dönüşümleri biçimselleştirmektedir.
Tanım
Bir kategori, nesnelerden ve birimlerle ilişkisel olarak bileşen morfizmlerden oluşmaktadır; bir funktör, bir kategorinin nesnelerini ve morfizmlerini başka bir kategoriye bileşimi ve birimleri koruyarak eşlemektedir; bir doğal dönüşüm, her nesneye iki funktörün eylemleriyle değişmeli olacak şekilde bir morfizm atamaktadır.
Kapsam
Bu kapsam, bir kategorinin nesneler, morfizmler, bileşim ve birimler aracılığıyla tanımını, kategoriler arasında yapıyı koruyan bir dönüşüm olarak funktör kavramını, funktörlerin morfizmleri olarak doğal dönüşümleri ve bunların sonucunda ortaya çıkan izomorfizm, kategori denkliği ve Yoneda gömülmesi kavramlarını ele almaktadır.
Temel sorular
- Bir kategoriyi hangi veriler ve aksiyomlar tanımlamaktadır?
- Bir funktör, yapıyı bir kategoriden diğerine nasıl taşımaktadır?
- Doğallık ne anlama gelmektedir ve neden funktörler arasındaki dönüşümün doğru kavramıdır?
- İki kategori ne zaman eşit olmaktan ziyade denk kabul edilmektedir?
Temel kuramlar
- Kategori ve funktör aksiyomları
- Morfizmlerin bileşimi ilişkisel ve birimlidir ve funktörler bu bileşimsel yapıyı korumaktadır, bu nedenle kategorik yapılar, kategorileri ilişkilendiren dönüşümler altında kararlıdır.
- Doğal dönüşümler
- Bir doğal dönüşüm, kaynak kategorideki tüm dönüşümlerle uyumlu bir morfizm ailesi aracılığıyla iki funktörü ilişkilendirmektedir; bu, tekdüze ve keyfi seçimler olmaksızın tanımlanan bir yapının gayri resmi fikrini yakalamaktadır.
- Yoneda lemması ve gömülmesi
- Temsil edilen bir funktörden çıkan doğal dönüşümler elemanlara karşılık gelmektedir, bu nedenle her nesne morfizmleri tarafından belirlenmekte ve bir funktör kategorisine tam ve sadık bir şekilde gömülmektedir.
Klinik önem
Bu üç kavram, kategorik matematiğin yazıldığı sözlüğü oluşturmaktadır: funktörler, temel grup veya polinom halkası oluşturma gibi yapıları biçimselleştirmekte, doğallık kanonik yapıları tanımlamakta ve Yoneda perspektifi, cebir, topoloji ve programlama dillerinin semantiğine nüfuz eden yapısal bakış açısını temel almaktadır.
Tarihçe
Eilenberg ve Mac Lane, kategorileri, funktörleri ve doğal dönüşümleri 1945 yılında tanıtmışlardır; doğal dönüşümler, diğerlerinin kesin olarak tanımlanmasını gerektiren motive edici kavram olarak öne çıkmıştır. Nobuo Yoneda'ya atfedilen Yoneda lemması, kısa sürede konunun temsil edilebilirlik bakış açısını ifade eden temel taş haline gelmiştir.
Öne çıkan isimler
- Samuel Eilenberg
- Saunders Mac Lane
- Nobuo Yoneda
İlgili konular
Temel eserler
- maclane1998
- awodey2010
- riehl2016
Sıkça sorulan sorular
- Doğal dönüşümlerin amacı nedir?
- Bir yapının ne zaman kanonik olduğunu, yani keyfi seçimler olmaksızın her nesne için aynı şekilde tanımlandığını kesinleştirmektedirler. Klasik bir örnek, bir vektör uzayından çift dualine olan doğal dönüşümdür; bu dönüşüm tekdüze bir şekilde var olurken, tek dualine olan dönüşüm bir baz seçimine bağlıdır.
- Kategori denkliği nedir?
- İki kategori arasındaki bileşimleri birimlere doğal olarak izomorfik olan bir çift funktördür. Denk kategoriler, kelimenin tam anlamıyla aynı olmasalar bile tüm kategorik özellikleri paylaşmaktadır; bu, kategori kuramında uygun bir aynılık kavramıdır.