Kategori teorisi - Category theory

Bu makale genel bir liste içerir Referanslar, ancak büyük ölçüde doğrulanmamış kalır çünkü yeterli karşılık gelmiyor satır içi alıntılar. Lütfen yardım edin geliştirmek bu makale tanıtım daha kesin alıntılar. (Kasım 2009) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

Nesneli bir kategorinin şematik gösterimi X, Y, Z ve morfizmler f, g, g ∘ f. (Kategorinin üç özdeşlik morfizmi 1_X, 1_Y ve 1_Zaçıkça temsil edilirse, sırasıyla X, Y ve Z harflerinden kendilerine doğru üç ok olarak görünür.)

Kategori teorisi resmileştirir matematiksel yapı ve a açısından kavramları etiketli Yönlendirilmiş grafik deniliyor kategori, düğümleri çağrılan nesnelerve etiketli yönlendirilmiş kenarları oklar (veya morfizmler ).^[1] Bir kategori iki temel özelliği vardır: oluşturmak oklar bağlantılı olarak ve bir Kimlik her nesne için ok. Kategori teorisinin dili, diğer yüksek seviyeli kavramları resmileştirmek için kullanılmıştır. soyutlamalar gibi setleri, yüzükler, ve grupları. Gayri resmi olarak, kategori teorisi genel bir teoridir fonksiyonlar.

"Morfizm" terimi de dahil olmak üzere kategori teorisinde kullanılan birçok terim, matematiğin geri kalanında kullanımlarından farklı şekilde kullanılmaktadır. Kategori teorisinde, morfizmler kategori teorisinin kendisine özgü koşullara uyar.

Samuel Eilenberg ve Saunders Mac Lane kategori kavramlarını tanıttı, functors, ve doğal dönüşümler 1942–45 arasında yaptıkları çalışmada cebirsel topoloji matematiksel yapıyı koruyan süreçleri anlamak amacıyla.

Kategori teorisinin pratik uygulamaları vardır: programlama dili teorisi örneğin kullanımı fonksiyonel programlamada monadlar. Ayrıca matematik için aksiyomatik bir temel olarak da kullanılabilir. küme teorisi ve diğer önerilen vakıflar.

Temel konseptler

Kategoriler, diğer matematiksel kavramların soyutlamalarını temsil eder. Matematiğin birçok alanı, aşağıdaki gibi kategori teorisine göre biçimlendirilebilir: kategoriler. Bu nedenle kategori teorisi, bu alanlardaki birçok karmaşık ve ince matematiksel sonucu çok daha basit bir şekilde ifade etmeyi ve kanıtlamayı mümkün kılmak için soyutlamayı kullanır.^[2]

Bir kategorinin temel bir örneği, kümeler kategorisi, nesnelerin kümeler olduğu ve okların bir kümeden diğerine işlevler olduğu. Bununla birlikte, bir kategorinin nesnelerinin set olması gerekmez ve okların işlev görmesi gerekmez. Bir matematiksel kavramı, nesnelerin ve okların davranışına ilişkin temel koşulları karşılayacak şekilde resmileştirmenin herhangi bir yolu geçerli bir kategoridir - ve kategori teorisinin tüm sonuçları ona uygulanır.

Kategori teorisinin "oklarının" genellikle iki nesneyi birbirine bağlayan bir süreci veya çoğu durumda iki nesneyi birbirine bağlayan "yapıyı koruyan" bir dönüşümü temsil ettiği söylenir. Bununla birlikte, çok daha soyut kavramların nesneler ve morfizmlerle temsil edildiği birçok uygulama vardır. Okların en önemli özelliği, "oluşturulabilmeleri", yani yeni bir ok oluşturacak şekilde sırayla düzenlenebilmeleridir.

Kategori uygulamaları

Kategoriler artık matematiğin birçok dalında görünmektedir, bazı alanlar teorik bilgisayar bilimi nerede karşılık gelebilirler türleri ya da veritabanı şemaları, ve matematiksel fizik tarif etmek için nerede kullanılabilirler vektör uzayları.^[3] Muhtemelen kategori teorisinin saf matematiğin dışındaki ilk uygulaması, otonom canlı organizmaların "metabolizma-onarım" modeliydi. Robert Rosen.^[4]

Yarar

Kategoriler, nesneler ve morfizmler

Bu bölüm için ek alıntılara ihtiyaç var doğrulama. Lütfen yardım et bu makaleyi geliştir tarafından güvenilir kaynaklara alıntılar eklemek. Kaynaksız materyale itiraz edilebilir ve kaldırılabilir. (Kasım 2015) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

Çalışma kategoriler bir girişimdir aksiyomatik olarak çeşitli ilgili sınıflarda yaygın olarak bulunanları yakalayın matematiksel yapılar onları ilişkilendirerek yapıyı koruyan işlevler onların arasında. Daha sonra kategori teorisinin sistematik bir incelemesi, bir kategorinin aksiyomlarından bu tür matematiksel yapıların herhangi biri hakkında genel sonuçlar kanıtlamamıza izin verir.

Aşağıdaki örneği düşünün. sınıf Grp nın-nin grupları bir "grup yapısına" sahip tüm nesnelerden oluşur. Biri devam edebilir kanıtlamak teoremler grupları tanımlayan aksiyomlar kümesinden mantıksal çıkarımlar yaparak gruplar hakkında. Örneğin, aksiyomlardan hemen kanıtlanmıştır. kimlik öğesi bir grubun benzersizdir.

Kategori teorisi, belirli bir yapıya sahip olan tek tek nesnelere (örneğin, gruplar) odaklanmak yerine, morfizmler - yapıyı koruyan eşlemeler - arasında bu nesneler; bu morfizmaları inceleyerek, nesnelerin yapısı hakkında daha fazla şey öğrenilebilir. Gruplar söz konusu olduğunda, morfizmler grup homomorfizmleri. İki grup arasındaki bir grup homomorfizmi, kesin anlamda "grup yapısını korur"; gayri resmi olarak, birinci grubun yapısı hakkındaki bilgileri ikinci gruba taşıyan bir şekilde bir grubu diğerine götüren bir "süreçtir". Grup homomorfizmlerinin incelenmesi daha sonra grupların genel özelliklerini ve grup aksiyomlarının sonuçlarını incelemek için bir araç sağlar.

Benzer bir araştırma türü, birçok matematiksel teoride ortaya çıkar. sürekli haritalar (morfizmler) topolojik uzaylar içinde topoloji (ilgili kategori denir Üst) ve çalışma pürüzsüz fonksiyonlar (morfizmler) içinde manifold teorisi.

Bununla birlikte, tüm kategoriler "yapı koruma (set) işlevleri" olarak ortaya çıkmaz; standart örnek, arasındaki homotopi kategorisidir sivri topolojik uzaylar.

Bir aksiyomatize edilirse ilişkiler onun yerine fonksiyonlar teori elde edilir alegoriler.

Functors

Bir kategori kendisi bir tür matematiksel yapı, dolayısıyla bu yapıyı bir anlamda koruyan "süreçler" arayabiliriz; böyle bir sürece bir functor.

Takip diyagramı diyagramlarla birleştirilmiş soyut "oklar" ile tartışmanın görsel bir yöntemidir. Fonksiyonlar, belirli tanımlayıcı değişme koşullarına tabi olarak kategoriler arasında oklarla temsil edilir. Functors kategorik diyagramları ve dizileri tanımlayabilir (oluşturabilir) (yani Mitchell, 1965)^{[kaynak belirtilmeli ]}. Bir functor, bir kategorinin her nesnesiyle başka bir kategorinin nesnesini ve birinci kategorideki her morfizmi ikinci kategorideki bir morfizmi ilişkilendirir.

Sonuç olarak, bu bir kategoriyi tanımlar kategoriler ve işlevler - nesneler kategorilerdir ve morfizmler (kategoriler arası) işlevlerdir.

Kategorileri ve fonktörleri incelemek sadece matematiksel yapıların bir sınıfını ve aralarındaki morfizmaları incelemek değil, çeşitli matematiksel yapı sınıfları arasındaki ilişkiler. Bu temel fikir ilk olarak ortaya çıktı cebirsel topoloji. Zor topolojik sorulara çevrilebilir cebirsel genellikle çözmesi daha kolay olan sorular. Gibi temel yapılar temel grup ya da temel grupoid bir topolojik uzay, kategorisine functor olarak ifade edilebilir grupoidler bu şekilde ve kavram cebir ve uygulamalarında yaygındır.

Doğal dönüşümler

Yine soyutlamak gerekirse, bazı diyagramatik ve / veya ardışık yapılar genellikle "doğal olarak ilişkilidir" - ilk bakışta belirsiz bir kavram. Bu, açıklayıcı kavramına götürür doğal dönüşüm, bir işleci diğeriyle "eşlemenin" bir yolu. Matematikteki birçok önemli yapı bu bağlamda incelenebilir. "Doğallık" bir ilkedir. genel kovaryans fizikte, bu başlangıçta göründüğünden daha derine iniyor. İki fonksiyon arasındaki ok, belirli doğallık veya değişme koşullarına tabi olduğunda doğal bir dönüşümdür.

Fonksiyonlar ve doğal dönüşümler ('doğallık') kategori teorisindeki anahtar kavramlardır.^[5]

Kategoriler, nesneler ve morfizmler

Kategoriler

Bir kategori C aşağıdaki üç matematiksel varlıktan oluşur:

• Bir sınıf ob (C), elemanları çağrılan nesneler;
• Bir sınıf hom (C), elemanları çağrılan morfizmler veya haritalar veya oklar. Her morfizm f var kaynak nesne a ve hedef nesne b.
  İfade f : a → b, sözlü olarak "f bir morfizm a -e b".
  İfade hom (a, b) - alternatif olarak şu şekilde ifade edilir: ev_C(a, b), mor (a, b)veya C(a, b) - gösterir ev sınıfı tüm morfizmlerin a -e b.
• Bir ikili işlem ∘, aradı morfizmlerin bileşimi, öyle ki herhangi üç nesne için a, b, ve c, sahibiz ∘: hom (b, c) × hom (a, b) → hom (a, c). Bileşimi f : a → b ve g : b → c olarak yazılmıştır g ∘ f veya gf,^[a] iki aksiyom tarafından yönetilir:
  • İlişkisellik: Eğer f : a → b, g : b → c ve h : c → d sonra h ∘ (g ∘ f) = (h ∘ g) ∘ f, ve
  • Kimlik: Her nesne için xbir morfizm var 1_x : x → x aradı kimlik morfizmi x içinöyle ki her morfizm için f : a → b, sahibiz 1_b ∘ f = f = f ∘ 1_a.

Aksiyomlardan, tam olarak bir tane olduğu kanıtlanabilir. kimlik morfizmi her nesne için. Bazı yazarlar, her bir nesneyi kendi kimlik morfizmiyle tanımlayarak verilen tanımdan sapmaktadır.

Morfizmler

Morfizmler arasındaki ilişkiler (örneğin fg = h) genellikle kullanılarak tasvir edilir değişmeli diyagramlar, nesneleri temsil eden "noktalar" (köşeler) ve morfizmaları temsil eden "oklar" ile.

Morfizmler aşağıdaki özelliklerden herhangi birine sahip olabilir. Bir morfizm f : a → b bir:

• monomorfizm (veya Monik) Eğer f ∘ g₁ = f ∘ g₂ ima eder g₁ = g₂ tüm morfizmler için g₁, g₂ : x → a.
• epimorfizm (veya epik) Eğer g₁ ∘ f = g₂ ∘ f ima eder g₁ = g₂ tüm morfizmler için g₁, g₂ : b → x.
• bimorfizm Eğer f hem epik hem de moniktir.
• izomorfizm bir morfizm varsa g : b → a öyle ki f ∘ g = 1_b ve g ∘ f = 1_a.^[b]
• endomorfizm Eğer a = b. son(a) endomorfizm sınıfını belirtir a.
• otomorfizm Eğer f hem bir endomorfizm hem de bir izomorfizmdir. aut (a) Otomorfizm sınıfını belirtir a.
• geri çekme sağ tersi ise f var, yani bir morfizm varsa g : b → a ile f ∘ g = 1_b.
• Bölüm sol tersi f var, yani bir morfizm varsa g : b → a ile g ∘ f = 1_a.

Her geri çekilme bir epimorfizmdir ve her bölüm bir monomorfizmdir. Ayrıca, aşağıdaki üç ifade eşdeğerdir:

• f bir monomorfizm ve bir geri çekmedir;
• f bir epimorfizm ve bir bölümdür;
• f bir izomorfizmdir.

Functors

Functors kategoriler arasında yapıyı koruyan haritalardır. Tüm (küçük) kategoriler kategorisindeki morfizmler olarak düşünülebilirler.

A (ortak değişken) functor F bir kategoriden C bir kategoriye D, yazılı F : C → D, içerir:

• her nesne için x içinde C, bir obje F(x) içinde D; ve
• her morfizm için f : x → y içinde C, bir morfizm F(f) : F(x) → F(y),

aşağıdaki iki özellik geçerli olacak şekilde:

• Her nesne için x içinde C, F(1_x) = 1_F(x);
• Tüm morfizmler için f : x → y ve g : y → z, F(g ∘ f) = F(g) ∘ F(f).

Bir aykırı functor F: C → D "morfizmaları döndürmesi" dışında ("tüm okları tersine çevirir") bir kovaryant işlevcisi gibidir. Daha spesifik olarak, her morfizm f : x → y içinde C bir morfizme atanmalıdır F(f) : F(y) → F(x) içinde D. Başka bir deyişle, bir kontravaryant functor, bir kovaryant functor olarak hareket eder. karşı kategori C^op -e D.

Doğal dönüşümler

Bir doğal dönüşüm iki işlev arasındaki bir ilişkidir. Funktorlar genellikle "doğal yapılar" ı ve doğal dönüşümleri tanımlar ve daha sonra bu tür iki yapı arasındaki "doğal homomorfizmaları" tanımlar. Bazen oldukça farklı iki yapı "aynı" sonucu verir; bu, iki fonksiyon arasındaki doğal bir izomorfizm ile ifade edilir.

Eğer F ve G kategoriler arasında (kovaryant) functors C ve D, sonra doğal bir dönüşüm η F -e G her nesneyle ilişkilendirir X içinde C bir morfizm η_X : F(X) → G(X) içinde D öyle ki her morfizm için f : X → Y içinde C, sahibiz η_Y ∘ F(f) = G(f) ∘ η_X; bu, aşağıdaki diyagramın değişmeli:

İki functor F ve G arandı doğal olarak izomorfik eğer doğal bir dönüşüm varsa F -e G öyle ki η_X her nesne için bir izomorfizmdir X içinde C.

Diğer kavramlar

Evrensel yapılar, sınırlar ve eş sınırlar

Kategori teorisinin dilini kullanarak, matematiksel çalışmanın birçok alanı kategorize edilebilir. Kategoriler kümeleri, grupları ve topolojileri içerir.

Her kategori, tüm nesnelerinin ortak olduğu özelliklerle ayırt edilir, örneğin boş küme ya da iki topolojinin ürünü ancak bir kategori tanımında nesneler atomik olarak kabul edilir, yani bilmemek bir nesne olsun Bir bir küme, topoloji veya diğer herhangi bir soyut kavramdır. Bu nedenle, zorluk özel nesneleri bu nesnelerin iç yapısına atıfta bulunmadan tanımlamaktır. Boş kümeyi öğelere ya da açık kümelere atıfta bulunmadan çarpım topolojisine başvurmadan tanımlamak için, bu nesneler, ilgili kategorilerin morfizmleri tarafından verildiği gibi, diğer nesnelerle olan ilişkileri açısından karakterize edilebilir. Böylece görev bulmaktır evrensel özellikler ilgilenilen nesneleri benzersiz şekilde belirleyen.

Çok sayıda önemli yapı, aşağıdaki durumlarda tamamen kategorik bir şekilde tanımlanabilir. kategori sınırı geliştirilebilir ve ikili hale getirilebilir eşzamanlı olmak.

Eşdeğer kategoriler

Sorulması doğal bir sorudur: hangi koşullar altında iki kategori düşünülebilir? esasen aynı, bir kategori hakkındaki teoremlerin diğer kategori ile ilgili teoremlere kolaylıkla dönüştürülebilmesi anlamında? Böyle bir durumu tanımlamak için kullanılan en önemli araca denir. kategorilerin denkliği, iki kategori arasında uygun işlevler tarafından verilir. Kategorik eşdeğerlik bulundu çok sayıda uygulama Matematikte.

Diğer kavramlar ve sonuçlar

Kategorilerin ve fonktörlerin tanımları sadece kategorik cebirin temellerini sağlar; ek önemli konular aşağıda listelenmiştir. Tüm bu konular arasında güçlü ilişkiler olmasına rağmen, verilen sıra daha fazla okuma için bir kılavuz olarak kabul edilebilir.

• functor kategorisi D^C functor'ların nesnesi var C -e D ve morfizmler olarak bu tür işlevlerin doğal dönüşümleri. Yoneda lemma kategori teorisinin en ünlü temel sonuçlarından biridir; functor kategorilerindeki temsil edilebilir functor'ları tanımlar.
• Dualite: Kategori teorisindeki her ifade, teorem veya tanımın bir çift bu, esasen "tüm okların ters çevrilmesi" ile elde edilir. Bir kategoride bir ifade doğruysa C daha sonra ikili kategoride ikilisi doğrudur C^op. Kategori teorisi düzeyinde şeffaf olan bu ikilik, uygulamalarda sıklıkla gizlenir ve şaşırtıcı ilişkilere yol açabilir.
• Eş işlevler: Bir functor, ters yönde haritalayan başka bir fonksiyona bitişik sol (veya sağ) olabilir. Bu tür bir çift bitişik işlev, tipik olarak bir evrensel özellik tarafından tanımlanan bir yapıdan ortaya çıkar; bu evrensel özellikler hakkında daha soyut ve güçlü bir görüş olarak görülebilir.

Daha yüksek boyutlu kategoriler

Yukarıdaki kavramların birçoğu, özellikle kategorilerin eşdeğerliği, bitişik işlev çiftleri ve işlevci kategorileri, bağlamına yerleştirilebilir. yüksek boyutlu kategoriler. Kısaca, iki nesne arasındaki bir morfizmi "bizi bir nesneden diğerine götüren bir süreç" olarak düşünürsek, yüksek boyutlu kategoriler, "yüksek boyutlu süreçleri" dikkate alarak bunu karlı bir şekilde genellememize izin verir.

Örneğin, bir (katı) 2 kategori "morfizmler arasındaki morfizmler" ile birlikte bir kategoridir, yani bir morfizmi diğerine dönüştürmemize izin veren süreçler. Daha sonra bu "bimorfizmleri" hem yatay hem de dikey olarak "oluşturabiliriz" ve iki bileşim yasasını ilişkilendirmek için 2 boyutlu bir "değişim yasasına" ihtiyacımız var. Bu bağlamda standart örnek şöyledir: Kedi, tüm (küçük) kategorilerin 2 kategorisi ve bu örnekte, morfizmlerin bimorfizmleri basitçe doğal dönüşümler olağan anlamda morfizmler. Diğer bir temel örnek, tek bir nesne ile 2 kategoriyi ele almaktır; bunlar esasen monoidal kategoriler. Kategoriler morfizmlerin kompozisyonunun tam olarak ilişkilendirici olmadığı, ancak yalnızca bir izomorfizme "kadar" çağrışımsal olduğu 2 boyutlu kategorilerin daha zayıf bir kavramıdır.

Bu süreç herkes için uzatılabilir doğal sayılar nve bunlara n-kategoriler. Bir fikir bile var ω kategorisi karşılık gelen sıra numarası ω.

Daha yüksek boyutlu kategoriler, daha geniş matematiksel alanın bir parçasıdır. yüksek boyutlu cebir tarafından sunulan bir kavram Ronald Brown. Bu fikirlere açıklayıcı bir giriş için bkz. John Baez, 'A Tale of n-kategoriler '(1996).

Tarihsel notlar

Bu bölüm için ek alıntılara ihtiyaç var doğrulama. Lütfen yardım et bu makaleyi geliştir tarafından güvenilir kaynaklara alıntılar eklemek. Kaynaksız materyale itiraz edilebilir ve kaldırılabilir. (Kasım 2015) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

Öncelikle, bir kategori kavramının tamamının esasen yardımcı bir kavram olduğu gözlemlenmelidir; temel kavramlarımız temelde bir işlevci ve doğal bir dönüşümün [...]

— Samuel Eilenberg ve Saunders Mac Lane, Genel doğal eşdeğerlik teorisi^[6]

1942–45'te, Samuel Eilenberg ve Saunders Mac Lane Topoloji alanındaki çalışmalarının bir parçası olarak kategoriler, işlevler ve doğal dönüşümler tanıttı, özellikle cebirsel topoloji. Çalışmaları, sezgisel ve geometrikten geçişin önemli bir parçasıydı. homoloji -e homolojik cebir. Eilenberg ve Mac Lane daha sonra amaçlarının doğal dönüşümleri anlamak olduğunu yazdı. Bu, kategorileri gerektiren işlevlerin tanımlanmasını gerektiriyordu.

Stanislaw Ulam ve onun adına bazı yazılar 1930'ların sonlarında Polonya'da ilgili fikirlerin güncel olduğunu iddia etti. Eilenberg Polonyalıydı ve 1930'larda Polonya'da matematik okudu. Kategori teorisi aynı zamanda, bir anlamda, Emmy Noether (Mac Lane'in öğretmenlerinden biri) soyut süreçleri resmileştirmede;^{[kaynak belirtilmeli ]} Noether, bir tür matematiksel yapıyı anlamanın, o yapıyı koruyan süreçleri anlamayı gerektirdiğini fark etti (homomorfizmler ).^{[kaynak belirtilmeli ]} Eilenberg ve Mac Lane, süreçleri anlamak ve resmileştirmek için kategoriler tanıttı (functors ) ilgili topolojik yapılar cebirsel yapılara (topolojik değişmezler ) onları karakterize eden.

Kategori teorisi başlangıçta ihtiyaç için tanıtıldı homolojik cebir ve modern ihtiyaçlara göre genişletilmiş cebirsel geometri (şema teorisi ). Kategori teorisi bir uzantısı olarak görülebilir. evrensel cebir, ikinci çalıştığı gibi cebirsel yapılar ve ilki her türlü matematiksel yapı ve aynı zamanda farklı yapıdaki yapılar arasındaki ilişkileri de inceler. Bu nedenle matematikte kullanılır. Başvurular matematiksel mantık ve anlambilim (kategorik soyut makine ) sonra geldi.

Aranan belirli kategoriler Topoi (tekil topolar) bir alternatif olarak bile hizmet edebilir aksiyomatik küme teorisi matematiğin temeli olarak. Bir topo, iki ek topos aksiyomuna sahip belirli bir kategori türü olarak da düşünülebilir. Kategori teorisinin bu temel uygulamaları, aşağıdakilerin temeli ve gerekçelendirilmesi olarak oldukça ayrıntılı olarak çalışılmıştır: yapıcı matematik. Topos teorisi soyut bir biçimdir demet teorisi geometrik kökenleri olan ve aşağıdaki gibi fikirlere yol açar anlamsız topoloji.

Kategorik mantık artık iyi tanımlanmış bir alandır. tip teorisi için sezgisel mantık, içindeki uygulamalarla fonksiyonel programlama ve alan teorisi, burada bir kartezyen kapalı kategori bir sözdizimsel olmayan açıklaması olarak alınır lambda hesabı. En azından kategori teorik dili, bu ilgili alanların tam olarak ortak yönlerinin ne olduğunu açıklar (bazılarında Öz anlamda).

Kategori teorisi başka alanlarda da uygulanmıştır. Örneğin, John Baez arasında bir bağlantı gösterdi Feynman diyagramları içinde fizik ve tek biçimli kategoriler.^[7] Kategori teorisinin başka bir uygulaması, daha spesifik olarak: topos teorisi, matematiksel müzik teorisinde yapılmıştır, örneğin bkz. Kitap Müzik Topoları, Geometrik Kavramların Mantığı, Teori ve Performans tarafından Guerino Mazzola.

Lisans öğrencilerini matematiğin temeli olarak kategorilere sokmaya yönelik daha yeni çabalar şunları içerir: William Lawvere ve Rosebrugh (2003) ve Lawvere ve Stephen Schanuel (1997) ve Mirroslav Yotov (2012).

Ayrıca bakınız

Notlar

Referanslar

Alıntılar

Kaynaklar

• Adámek, Jiří; Herrlich, Horst; Strecker, George E. (2004). Soyut ve Somut Kategoriler. Heldermann Verlag Berlin.
• Barr, Michael; Wells, Charles (2012) [1995], Hesaplama Bilimi için Kategori Teorisi, Teoride ve Kategorilerin Uygulamalarında Yeniden Baskılar, 22 (3. baskı).
• Barr, Michael; Wells, Charles (2005), Topozlar, Üçlüler ve Teoriler, Teoride ve Kategorilerin Uygulamalarında Yeniden Baskılar, 12, BAY  2178101.
• Borceux, Francis (1994). Kategorik cebir el kitabı. Matematik Ansiklopedisi ve Uygulamaları. Cambridge University Press. s. 50–52. ISBN  9780521441780.
• Freyd, Peter J. (2003) [1964]. Abelian Kategorileri. Teoride ve Kategori Uygulamalarında Yeniden Baskılar. 3.
• Freyd, Peter J.; Scedrov Andre (1990). Kategoriler, alegoriler. Kuzey Hollanda Matematik Kütüphanesi. 39. Kuzey Hollanda. ISBN  978-0-08-088701-2.
• Goldblatt, Robert (2006) [1979]. Topoi: Mantığın Kategorilere Göre Analizi. Mantık ve matematiğin temelleri üzerine çalışmalar. 94. Dover. ISBN  978-0-486-45026-1.
• Herrlich, Horst; Strecker, George E. (2007). Kategori Teorisi (3. baskı). Heldermann Verlag Berlin. ISBN  978-3-88538-001-6..
• Kashiwara, Masaki; Schapira, Pierre (2006). Kategoriler ve Kasnaklar. Grundlehren der Mathematischen Wissenschaften. 332. Springer. ISBN  978-3-540-27949-5.
• Lawvere, F. William; Rosebrugh, Robert (2003). Matematik Setleri. Cambridge University Press. ISBN  978-0-521-01060-3.
• Lawvere, F. William; Schanuel, Stephen Hoel (2009) [1997]. Kavramsal Matematik: Kategorilere İlk Giriş (2. baskı). Cambridge University Press. ISBN  978-0-521-89485-2.
• Leinster, Tom (2004). Daha Yüksek Operatlar, Daha Yüksek Kategoriler. Daha Yüksek Operadlar. London Math. Society Lecture Note Series. 298. Cambridge University Press. s. 448. Bibcode:2004hohc.book ..... L. ISBN  978-0-521-53215-0. Arşivlenen orijinal 2003-10-25 tarihinde. Alındı 2006-04-03.
• Leinster, Tom (2014). Temel Kategori Teorisi. İleri Matematikte Cambridge Çalışmaları. 143. Cambridge University Press. arXiv:1612.09375. ISBN  9781107044241.
• Lurie, Jacob (2009). Yüksek Topos Teorisi. Matematik Çalışmaları Annals. 170. Princeton University Press. arXiv:math.CT / 0608040. ISBN  978-0-691-14049-0. BAY  2522659.
• Mac Lane, Saunders (1998). Çalışan Matematikçi Kategorileri. Matematikte Lisansüstü Metinler. 5 (2. baskı). Springer-Verlag. ISBN  978-0-387-98403-2. BAY  1712872.CS1 bakimi: ref = harv (bağlantı)
• Mac Lane, Saunders; Birkhoff, Garrett (1999) [1967]. Cebir (2. baskı). Chelsea. ISBN  978-0-8218-1646-2.
• Martini, A .; Ehrig, H .; Nunes, D. (1996). "Temel kategori teorisinin unsurları". Teknik rapor. 96 (5).
• Mayıs, Peter (1999). Cebirsel Topolojide Kısa Bir Ders. Chicago Press Üniversitesi. ISBN  978-0-226-51183-2.
• Mazzola, Guerino (2002). Müzik Topoları, Geometrik Kavramların Mantığı, Teori ve Performans. Birkhäuser. ISBN  978-3-7643-5731-3.
• Pedicchio, Maria Cristina; Tholen, Walter, editörler. (2004). Kategorik temeller. Sıra, topoloji, cebir ve demet teorisinde özel konular. Matematik Ansiklopedisi ve Uygulamaları. 97. Cambridge University Press. ISBN  978-0-521-83414-8. Zbl  1034.18001.
• Pierce, Benjamin C. (1991). Bilgisayar Bilimcileri için Temel Kategori Teorisi. MIT Basın. ISBN  978-0-262-66071-6.
• Schalk, A .; Simmons, H. (2005). Kategori Teorisine dört kolay hareketle giriş (PDF). Arşivlenen orijinal (PDF) 2017-03-21 tarihinde. Alındı 2007-12-03. Yüksek Lisansın bir parçası olarak sunulan bir kurs için notlar. içinde Matematiksel Mantık, Manchester Üniversitesi.
• Simpson, Carlos (2010). Yüksek kategorilerin homotopi teorisi. arXiv:1001.4071. Bibcode:2010arXiv1001.4071S., bir kitabın taslağı.
• Taylor, Paul (1999). Matematiğin Pratik Temelleri. İleri Matematikte Cambridge Çalışmaları. 59. Cambridge University Press. ISBN  978-0-521-63107-5.
• Turi, Daniele (1996–2001). "Kategori Teorisi Ders Notları" (PDF). Alındı 11 Aralık 2009. Dayalı Mac Lane 1998.

daha fazla okuma

• Marki, Jean-Pierre (2008). Geometrik Bir Bakış Açısından: Kategori Teorisinin Tarih ve Felsefesi Üzerine Bir Çalışma. Springer. ISBN  978-1-4020-9384-5.

Dış bağlantılar

• Kategoriler Teorisi ve Uygulaması, 1995'ten beri ücretsiz, tam metin, kategori teorisi elektronik dergisi.
• nLab, matematik, fizik ve felsefe üzerine bir wiki projesi n- kategorik bakış açısı.
• N-Kategori Kafe, esasen kategori teorisindeki konular üzerine bir kolokyum.
• Kategori Teorisi, ders notlarına ve kategori teorisi üzerine ücretsiz olarak bulunabilen kitaplara bağlantıların bulunduğu bir web sayfası.
• Hillman, Chris, Kategorik Bir Astar, CiteSeerX  10.1.1.24.3264, kategori teorisine resmi bir giriş.
• Adamek, J .; Herrlich, H .; Stecker, G. "Soyut ve Somut Kategoriler-Kedilerin Sevinci" (PDF).
• "Kategori Teorisi" Jean-Pierre Marquis tarafından Stanford Felsefe Ansiklopedisi, kapsamlı bir kaynakça ile.
• Kategori teorisi üzerine akademik konferansların listesi
• Baez, John (1996). "Masalı n-kategoriler ". - Daha yüksek sipariş kategorilerine gayri resmi bir giriş.
• Vahşi kediler için bir kategori teorisi paketidir Mathematica. Nesnelerin manipülasyonu ve görselleştirilmesi, morfizmler kategoriler functors, doğal dönüşümler, evrensel özellikler.
• Kedicikleradlı kişinin kanalı açık Youtube, kategori teorisi hakkında bir kanal.
• Kategori teorisi -de PlanetMath.org..
• Video arşivi kategoriler, mantık ve fiziğin temelleri ile ilgili kaydedilmiş konuşmaların oranı.
• Etkileşimli Web sayfası Sonlu kümeler kategorisinde kategorik yapı örnekleri üreten.
• Bilimler İçin Kategori Teorisi, bilimlerde bir araç olarak kategori teorisi üzerine bir talimat.
• Programcılar için Kategori Teorisi Bilgisayar programcıları için kategori teorisini açıklayan blog biçiminde bir kitap.
• Kategori teorisine giriş.