Předsvazek

Předsvazek je v teorii kategorií libovolný kontravariantní funktor z nějaké kategorie $𝒞$ do jiné kategorie $𝒟$, ${𝒞}^{op}\to 𝒟$, 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.Šablona:Ujasnit Svazky popisují lokální vlastnosti topologických prostorů, například variet, ze kterých lze odvodit nějakou vlastnost globální.