Předsvazek

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žinou 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í.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.