Malá kategorie

Pro pochopení tohoto tématu je vhodné nejprve důkladně porozumět článku Abstraktní algebra

Teorie kategorií je odvětví matematiky zobecňující pohled na matematické struktury a vztahy mezi nimi. Proto je považována za sjednocující teorii, která umožňuje zkoumat spojitosti mezi různými disciplínami, jako jsou například mnohá odvětví matematiky, některé oblasti teoretické informatiky a matematické fyziky.

Definice základních pojmů

Kategorie C se skládá z[1][2]

  • třídy objektů ob(C),
  • třídy morfismů hom(C). Každý morfismus f má právě jeden zdrojový objekt a a cílový objekt b kde a a b jsou z ob(C). Píšeme f: ab a říkáme, že „f je morfismus z a do b“. Pomocí hom(a, b) (nebo homC(a, b)) označujeme třídu všech morfismů z a do b.
  • Pro každé tři objekty a, b a c je definována operace hom(a, b) × hom(b, c) → hom(a, c) nazývaná skládání morfismů. Složení f : ab a g : bc se zapisuje jako gf nebo gf (někteří autoři také píšou fg nebo f;g). Pro skládání morfismů platí následující dvě vlastnosti
    • (asociativita) pokud f : ab, g : bc a h : cd, tak h ∘ (gf) = (hg) ∘ f;
    • (identita) pro každý objekt x existuje morfismus 1x : xx nazývaný identita na x, a to takový, že pro všechny morfismy f : ab platí 1bf = f = f ∘ 1a.

Z definice lze dokázat, že existuje právě jedna identita na každém objektu.

Kategorie je malá kategorie, pokud ob(C) a hom(C) jsou nejen třídy, ale dokonce množiny.[3] Kategorie, která není malá, je velká.[3] Kategorie je lokálně malá kategorie pokud pro každé dva objekty a a b je hom(a, b) množina.

Morfismy se někdy nazývají šipky.[4] Tento název má původ v komutativních diagramech.

Úvod do teorie

Příkladem kategorie je:

  • Kategorie grup, Grp: objektem v této kategorii je jakákoli grupa, morfismem z grupy a do grupy b jsou grupové homomorfismy.
  • Kategorie všech množin Set: objektem je jakákoli množina, morfismem z množiny a do množiny b je jakékoli zobrazení, jehož definiční obor je celá množina a a obor hodnot je podmnožinou b.

Teorie kategorií studuje vlastnosti, které lze o matematických strukturách říci, aniž bychom mluvili o jejich prvcích; smíme mluvit jen o objektech, morfismech a skládání morfismů: Pokud f je morfismus z objektu a do b a g je morfismus z b do c, pak existuje složený morfismus gf z a do c. Toto skládání je asociativní a pro každý objekt a existuje jednotkový morfismus 1a z a do a tak, že f ∘ 1a = f (pro každý morfismus f z jakéhokoli objektu a do b) a podobně 1bg = g pro každý morfismus z a do b.

Příklad: V kategorii komutativních grup uvažujme grupy Z, Q, R celých, racionálních a reálných čísel. Mějme tato zobrazení

f: Z → Q tak, že f(x) = 10x
g: Q → R tak, že g(x) = 2x

Jedná se skutečně o morfismy v této kategorii, neboť splňují definici grupového homomorfismu. Pak zobrazení h = gf a j = 1Q vypadají takto:

h(x) = g(f(x)) = 20x pro každé celé číslo x
j(x) = x pro každé racionální číslo x

Definice pojmů pomocí morfismů

Teorie kategorií definuje pojmy tak, aby nebylo nutné mluvit o prvcích zkoumaných struktur. Například pojem prosté zobrazení je obvykle definován takto: zobrazení f z množiny A do B je prosté, pokud pro každé x,y A, x y , platí f(x) f(y).

Obdobný pojem v teorii kategorií zní: Morfismus f z objektu a do b je monomorfismus, pokud pro každý objekt c a morfismy g, h z c do a platí: pokud fg = fh, pak g = h.

V kategorii všech množin jsou monomorfismy právě prostá zobrazení. To lze ilustrovat na tomto příkladu: Budiž f zobrazení ze Z do Q (tedy z celých do racionálních čísel) tak, že f(x) = x2. Toto zobrazení není prosté, protože f(2) = f(-2). Abychom ukázali, že není monomorfismem, zvolme za objekt c množinu {2, -2}. Zobrazení g, h z c do Z zvolme takto:

  • g(x) = x
  • h(x) = 2

Tato zobrazení nejsou totožná, neboť číslu -2 přiřazují různé hodnoty. Složeniny fg a fh však totožné jsou, neboť oběma prvkům množiny c přiřadí číslo 4. Stejným způsobem lze o každém zobrazení, které není prosté, ukázat, že v kategorii množin není monomorfismem. Na druhou stranu, pokud zobrazení není monomorfismem, pak pro nějakou množinu c, zobrazení f, g a prvek x c platí, že g(x) h(x), ale f(g(x)) = f(h(x)). Prvky g(x) a h(x) pak dosvědčují, že f není prosté.

Podobným způsobem teorie kategorií definuje pomocí objektů a morfismů (bez odkazů na prvky těchto objektů) mnoho pojmů, jejichž obvyklá definice s prvky pracuje. To umožňuje studovat společné vlastnosti zdánlivě nesouvisejících a navzájem velmi odlišných struktur, které mají sice zcela jiné prvky, ale jejich morfismy vykazují nějakou podobnost.

Další příklady kategorií

  • Kategorie Ord, ve které jsou objekty uspořádané množiny, morfismy jsou monotónní funkce a skládání je skládání funkcí.
  • Každá uspořádaná množina (P, ≤) tvoří malou kategorii, ve které jsou objekty prvky P, morfismus z a do b existuje pokud ab a skládání je dané jednoznačně, jelikož mezi a a b existuje nejvýše jeden morfismus.
  • Každý monoid tvoří malou kategorii s jediným objektem x. Morfismy z x do x jsou prvky monoidu, a skládání morfismů je dáno operací na monoidu.
  • Kategorie Top je kategorie nazývaná kategorií topologických prostorů. Objekty této kategorie jsou topologické prostory a morfizmy mezi objekty jsou spojitá zobrazení mezi těmito objekty.
  • Pro každou predikátovou teorii je kategorií třída všech modelů této teorie, přičemž morfismy jsou elementární vnoření

Vzhledem k tomu, jak široký okruh struktur lze teorií kategorií popsat, bývá pokládána za nejobecnější a nejabstraktnější z matematických disciplín.

Historie

Poprvé se kategorie začaly objevovat v pracích Samuela Eilenberga a Saunderse Mac Lana v letech 19421945 v souvislosti s algebraickou topologií.

Odkazy

Reference

Literatura

  • ADÁMEK, Jiří; HERRLICH, Horst; STRECKER, George E., 2004. Abstract and Concrete Categories; The Joy of Cats [online]. 2004 [cit. 2020-09-19]. Dostupné online. 
  • BARR, Michael; WELLS, Charles, 2002. Toposes, Triples and Theories. [s.l.]: Springer. Dostupné online. ISBN 0-387-96115-1.  (Upravená a opravená volná online verze knihy Grundlehren der mathematischen Wissenschaften (278) Springer-Verlag, 1983).
  • STARÝ, Jan, 2024. Úvod do teorie kategorií [online]. 2024-04-05 [cit. 2024-09-21]. Dostupné online.  (Skripta k přednášce Teorie kategorií https://courses.fit.cvut.cz/NI-TKA/)

Související články

Externí odkazy

Zdroj