Předsvazek: Porovnání verzí
funktor
Smazaný obsah Přidaný obsah
první verze |
(Žádný rozdíl)
|
Verze z 27. 8. 2019, 01:24
Předsvazek je v teorii kategorií libovolný kontravariantní funktor z nějaké kategorie do jiné kategorie , , kde cílová kategorie může být kategorie množin nebo nějakých objektů s algebraickou strukturou, např. komutativních grup. Zdrojová kategorie je většinou částečně uspořádanou množinu otevřených množin nějakého topologického prostoru.
Předsvazek splňující podmínky lokality a slepitelnosti se nazývá svazkem. Svazky popisují lokální vlastnosti topologických prostorů, například variet, ze kterých lze odvodit nějakou vlastnost globální.