Přeskočit na obsah

Šablona:Teorie kategorií

Z Wikipedie, otevřené encyklopedie

Teorie kategorií

Klíčové koncepty

Kategorie (Abelova • Aditivní • Konkrétní • Předabelova • Preaditivní • Bikategorie) • Adjungovaný funktor • Kartézsky uzavřená kategorie • Komutativní diagram • Endomorfismy • Exponenciální • Funktor • Kanovo rozšíření • Morfismus • Přirozená transformace • Univerzální vlastnost • Jonedovo lemma

Univerzální konstrukce


Limity	Terminální objekty • Produkty • Ekvalizéry • Jádra • Pullbacky • Inverzní limita

Kolimity	Iniciální objekty • Koprodukty • Koekvalizéry • Kokernely a kvocienty • Pushout • Přímá limita

Algebraické kategorie

Množiny • Relace • Magmas • Grupy • Abelovy grupy • Okruhy (Tělesa) • Moduly (Vektorové prostory)

Konstrukce na kategoriích

Volná kategorie • Kategorie funktorů • Kleisliho kategorie • Opačná kategorie • Faktorová kategorie • Produktová kategorie • Čárková kategorie • Podkategorie

Citováno z „https://cs.wikipedia.org/w/index.php?title=Šablona:Teorie_kategorií&oldid=24342386“