Cosheaf - Cosheaf
V topologii obor matematiky, a šupa s hodnotami v ∞-kategorie C který připouští kolimity, je funktor F z kategorie otevřených podmnožin topologického prostoru X (přesněji jeho nerv ) až C takhle
- (1) F prázdné sady je počáteční objekt.
- (2) Pro jakoukoli rostoucí sekvenci otevřených podmnožin s unií U, kanonická mapa je rovnocennost.
- (3) je prosazování a .
Základní příklad je kde vpravo je komplex singulárního řetězce z U s koeficienty v abelianské skupině A.
Příklad:[1] Li F je tedy spojitá mapa je šéfkuchař.
Viz také
Poznámky
Reference
- http://www.math.harvard.edu/~lurie/282ynotes/LectureVIII-Poincare.pdf
- http://arxiv.org/pdf/1303.3255v1.pdf , oddíl 3, zejména Thm 3.10 str. 34
![]() | Tento související s topologií článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |