Normal kategori - Regular category

İçinde kategori teorisi, bir normal kategori ile bir kategoridir sonlu sınırlar ve eş eşitleyiciler denilen bir çift morfizmin çekirdek çiftleri, tatmin edici kesin kesinlik koşullar. Bu şekilde, normal kategoriler birçok özelliği yeniden ele geçirir. değişmeli kategoriler varlığı gibi Görüntülerilave gerektirmeden. Aynı zamanda, düzenli kategoriler bir bölümün çalışması için bir temel sağlar. birinci dereceden mantık, normal mantık olarak bilinir.

Tanım

Bir kategori C denir düzenli aşağıdaki üç özelliği karşılıyorsa:[1]


Normal kategori 1.png


bir geri çekmek, sonra eş eşitleyici p0, p1 var. Çift (p0p1) denir çekirdek çifti nın-nin f. Bir geri çekilme olan çekirdek çifti, benzersiz bir izomorfizm.
  • Eğer f : X → Y bir morfizmdir C, ve


Normal kategori 2.png


geri çekilme ve eğer f düzenli epimorfizm, sonra g aynı zamanda düzenli bir epimorfizmdir. Bir düzenli epimorfizm bazı morfizm çiftlerinin eş eşitleyicisi olarak görünen bir epimorfizmdir.

Örnekler

Normal kategori örnekleri şunları içerir:

Aşağıdaki kategoriler değil düzenli:

Epi-mono çarpanlara ayırma

Normal bir kategoride, normalepimorfizmler ve monomorfizmler oluşturmak çarpanlara ayırma sistemi. Her morfizm f: X → Y normal olarak çarpanlara ayrılabilir epimorfizm e: X → E ardından bir monomorfizm m: E → Y, Böylece f = ben. Çarpanlara ayırma, şu anlamda benzersizdir: e ': X → E' başka bir düzenli epimorfizmdir ve m ': E' → Y başka bir monomorfizmdir öyle ki f = m'e 'sonra bir var izomorfizm h: E → E ' öyle ki he = e ' ve a'h = m. Monomorfizm m denir görüntü nın-nin f.

Tam diziler ve normal işlevler

Normal bir kategoride, formun bir diyagramı olduğu söyleniyor tam sıra hem eş eşitleyici hem de çekirdek çiftiyse. Terminoloji bir genellemedir kesin diziler içinde homolojik cebir: içinde değişmeli kategori, bir diyagram

bu anlamda doğrudur ancak ve ancak bir kısa kesin dizi her zamanki anlamda.

Normal kategoriler arasında bir functor denir düzenli, sonlu limitleri ve çekirdek çiftlerinin eş eşitleyicilerini koruyorsa. Bir functor, ancak ve ancak sınırlı limitleri ve kesin dizileri koruduğu takdirde düzenlidir. Bu nedenle, bazen normal işlevler denir tam işlevler. Sonlu sınırları koruyan functorların genellikle tam bıraktı.

Düzenli mantık ve düzenli kategoriler

Düzenli mantık, birinci dereceden mantık formun ifadelerini ifade edebilen


,


nerede ve düzenli formüller ör. formüller atomik formüller, gerçek sabiti, ikili buluşuyor (birleşik) ve varoluşsal niceleme. Bu tür formüller normal bir kategoride yorumlanabilir ve yorum, bir modelin bir modelidir. sıralı , eğer yorumlanması yorumlanması yoluyla faktörler .[2] Bu, her teori için verir (dizi dizisi) T ve her normal kategori için C bir kategori Mod(T, C) modellerinin T içinde C. Bu yapı bir functor verir Mod(T,-):RegCatKedi kategoriden RegCat nın-nin küçük Düzenli kategoriler ve düzenli işlevcilerden küçük kategorilere. Her teori için önemli bir sonuçtur. T düzenli bir kategori var R (T), öyle ki her normal kategori için C bir denklik


,

doğal olan C. Buraya, R (T) denir sınıflandırma normal teorinin kategorisi T. Eşdeğerliğe kadar, herhangi bir küçük düzenli kategori, bazı düzenli teorilerin sınıflandırma kategorisi olarak bu şekilde ortaya çıkar.[2]

Tam (etkili) kategoriler

Teorisi denklik ilişkileri düzenli bir teoridir. Bir nesne üzerindeki eşdeğerlik ilişkisi düzenli bir kategorinin bir monomorfizmidir dönüşlülük, simetri ve geçişlilik koşullarının yorumlanmasını tatmin eder.

Her çekirdek çifti bir denklik ilişkisini tanımlar . Tersine, bir eşdeğerlik ilişkisi olduğu söylenir etkili bir çekirdek çifti olarak ortaya çıkarsa.[3] Bir denklik ilişkisi ancak ve ancak bir eş eşitleyiciye sahipse ve bunun çekirdek çiftiyse etkilidir.

Normal bir kategorinin olduğu söyleniyor tamveya tam anlamıyla Barrveya etkili düzenli, eğer her eşdeğerlik ilişkisi etkiliyse.[4] ("Tam kategori" teriminin de farklı şekilde kullanıldığını unutmayın. Quillen anlamında kesin kategoriler.)

Kesin kategori örnekleri

Ayrıca bakınız

Referanslar

  1. ^ Pedicchio ve Tholen (2004) s. 177
  2. ^ a b Carsten Butz (1998), Düzenli Kategoriler ve Düzenli Mantık, BRICS Lectures Series LS-98-2, (1998).
  3. ^ Pedicchio ve Tholen (2004) s. 169
  4. ^ Pedicchio ve Tholen (2004) s. 179
  • Michael Barr Pierre A. Grillet, Donovan H. van Osdol. Tam Kasnak Kategorileri ve Kategorileri, Springer, Matematikte Ders Notları 236. 1971.
  • Francis Borceux, Kategorik Cebir El Kitabı 2, Cambridge University Press, (1994).
  • Stephen Lack, Normal bir kategorinin tam olarak tamamlanması ve sonsuz genellemeleri hakkında bir not ". Kategoriler Teorisi ve Uygulamaları, Cilt 5, No. 3, (1999).
  • Jaap van Oosten (1995), Temel Kategori Teorisi, BRICS Lectures Series LS-95-1, (1995).
  • 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: Cambridge University Press. ISBN  0-521-83414-7. Zbl  1034.18001.