Çok kategori - Multicategory - Wikipedia

İçinde matematik (özellikle kategori teorisi ), bir çok kategori kavramının bir genellemesidir kategori çoklu morfizmlere izin veren derece. Bir kategorideki morfizmler ile benzer olarak görülürse fonksiyonlar, o zaman çok kategorideki morfizmler, çeşitli değişkenlerin işlevlerine benzer. Çoklu kategoriler de bazen denir operadlar veya renkli operadlar.

Tanım

Bir (simetrik olmayan) çok kategori şunlardan oluşur:

  • bir koleksiyon (genellikle uygun sınıf ) nın-nin nesneler;
  • her biri için sonlu dizi nesnelerin sayısı (von Neumann ordinal için ) ve nesne Y, bir dizi morfizmler itibaren -e Y; ve
  • her nesne için X, özel bir kimlik morfizmi ( n = 1) X -e X.

Ek olarak, kompozisyon işlemleri vardır: Bir dizi sekans verildiğinde nesnelerin bir dizisi nesnelerin ve bir nesnenin Z: Eğer

  • her biri için , fj bir morfizm -e Yj; ve
  • g bir morfizm -e Z:

o zaman bileşik bir morfizm var itibaren -e Z. Bu, belirli aksiyomları karşılamalıdır:

  • Eğer m = 1, Z = Y0, ve g kimlik morfizmi Y0, sonra g(f0) = f0;
  • eğer her biri için , nj = 1, , ve fj kimlik morfizmi Yj, sonra ; ve
  • bir birliktelik durum: her biri için ve , bir morfizm -e , sonra özdeş morfizmler -e Z.

Comcategories

Bir comcategory (co-multi-category) bir tamamen sıralı set Ö nesnelerin bir küme Bir nın-nin çoklu oklar iki işlevli

nerede Ö% elemanların tüm sonlu sıralı dizilerinin kümesidir. Ö. Çok oklu ikili görüntü f özetlenebilir

Bir comcategory C ayrıca bir çoklu ürün bir kompozisyon işleminin olağan karakteri ile. C varsa çağrışımsal olduğu söylenir çoklu ürün aksiyomu bu operatörle ilgili olarak.

Herhangi bir çok kategorili, simetrik veya simetrik olmayan, nesne kümesinin toplam sıralaması ile birlikte eşdeğer bir kategori haline getirilebilir.

Bir çok çizgili aşağıdaki koşulları sağlayan bir kategoridir.

  • Verilen kafa ve yere sahip en fazla bir çoklu ok vardır.
  • Her nesne x bir birimi çok yönlüdür.
  • Çok oklu, zemininin tek girişi olan bir birimdir.

Çoklu sipariş, kısmi siparişlerin (posetlerin) bir genellemesidir ve ilk olarak (geçerken) Tom Leinster tarafından tanıtılmıştır.[1]

Örnekler

Nesneleri (küçük) olan bir çok kategori var setleri, setlerden bir morfizm X1, X2, ..., ve Xn sete Y bir n-ary işlevi bu, Kartezyen ürün X1 × X2 × ... × Xn -e Y.

Nesneleri olan bir çok kategori var vektör uzayları (üzerinde rasyonel sayılar, diyelim), vektör uzaylarından bir morfizm X1, X2, ..., ve Xn vektör uzayına Y bir çok satırlı operatör, Bu bir doğrusal dönüşüm -den tensör ürünü X1X2 ⊗ ... ⊗ Xn -e Y.

Daha genel olarak, herhangi bir tek biçimli kategori C, nesneleri nesneler olan çok kategori vardır. C, burada bir morfizm C-nesneler X1, X2, ..., ve Xn için C-nesne Y bir C- monoidal ürününden morfizm X1, X2, ..., ve Xn -e Y.

Bir opera tek bir nesneye sahip çok kategoridir; dejenere durumlar haricinde, böyle bir çok kategori, tek biçimli bir kategoriden gelmez.

Çoklu sipariş örnekleri şunları içerir: sivri çoklu setler (sıra A262671 içinde OEIS ), tam sayı bölümleri (sıra A063834 içinde OEIS ), ve birleşik ayırmalar (sıra A269134 içinde OEIS ). Herhangi bir çoklu ağın üçgenleri (veya bileşimleri), bir (zorunlu olarak ilişkisel değil) kategorisinin morfizmleridir. kasılmalar ve bir comcategory ayrışmalar. Çoklu zincir için daralma kategorisi multimin bölümleri (sıra A255397 içinde OEIS ), bilinen en basit çoklu kümeler kategorisidir.[2]

Başvurular

Çoklu kategorilerin çoğu zaman yanlış bir şekilde ait olduğu düşünülür yüksek kategori teorisi, asıl uygulamaları, daha yüksek kategoriler tarafından tatmin edilen operatörlerin ve kimliklerin, bir çok kategorinin nesneleri ve çok okları olduğu gözlemiydi. Çalışma n-kategoriler sırayla uygulamalardaki uygulamalar tarafından motive edildi cebirsel topoloji ve tanımlamaya çalışır homotopi teorisi yüksek boyutlu manifoldlar. Bununla birlikte, çoğunlukla bu motivasyondan doğmuştur ve artık saf matematiğin bir parçası olarak kabul edilmektedir.[1]

Bir çoklu zincirdeki üçgenlerin kasılmaları ve ayrışmaları arasındaki yazışma, kişinin bir ilişkisel cebir aradı insidans cebiri. Tüm birim oklarında sıfır olmayan herhangi bir öğenin bileşimsel bir tersi vardır ve Möbius işlevi Bir multiorder, insidans cebirinde zeta fonksiyonunun (sabit-bir) bileşimsel tersi olarak tanımlanır.

Tarih

Çoklu kategoriler ilk olarak bu isim altında tanıtıldı Jim Lambek "Tümdengelimli sistemler ve kategoriler II" (1969)[3] Kendisine "çok kategorilerin [Jean] Benabou ve [Pierre] Cartier tarafından da incelendiğinin söylendiğinden" bahseder (s. 108) ve aslında Leinster, "bu fikrin hem kategorinin hem de kategorinin ne olduğunu bilen herkesin aklına gelmiş olabilir. çok çizgili bir harita "idi.[1]:63

Referanslar

  1. ^ a b Tom Leinster (2004). Daha Yüksek Operadlar, Daha Yüksek Kategoriler. Cambridge University Press. arXiv:matematik / 0305049. Bibcode:2004hohc.book ..... L., Örnek 2.1.7, Sayfa 37
  2. ^ Wiseman Gus. "Comcategories and Multiorder". Google Dokümanlar. Alındı 9 Mayıs 2016.
  3. ^ .Lambek Joachim (1969). "Tümdengelimli sistemler ve kategoriler II. Standart yapılar ve kapalı kategoriler". Matematik Ders Notları. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007 / bfb0079385. ISBN  978-3-540-04605-9. ISSN  0075-8434.CS1 bakimi: ref = harv (bağlantı)