Cosheaf - Cosheaf

Эта статья является сирота, как никакие другие статьи ссылка на это. Пожалуйста ввести ссылки на эту страницу из Статьи по Теме; попробуйте Инструмент поиска ссылок для предложений. (Март 2014 г.)

В топологии, раздел математики, пучок со значениями в ∞-категория C который допускает копределы, является функтором F из категории открытых подмножеств топологического пространства Икс (точнее его нерв ) к C такой, что

• (1) F пустого множества - исходный объект.
• (2) Для любой возрастающей последовательности ${ displaystyle U_ {i}}$ открытых подмножеств с объединением U, каноническое отображение ${ Displaystyle varinjlim F (U_ {i}) to F (U)}$ является эквивалентностью.
• (3) ${ Displaystyle F (U чашка V)}$ это вытеснение ${ Displaystyle F (U cap V) к F (U)}$ и ${ Displaystyle F (U cap V) к F (V)}$.

Основной пример: ${ Displaystyle U mapsto C _ {*} (U; A)}$ где справа находится особый цепной комплекс из U с коэффициентами в абелевой группе А.

Пример:^[1] Если ж - непрерывное отображение, то ${ Displaystyle U mapsto f ^ {- 1} (U)}$ это косичка.

Смотрите также

• связка (математика)

Примечания

Рекомендации

• http://www.math.harvard.edu/~lurie/282ynotes/LectureVIII-Poincare.pdf
• http://arxiv.org/pdf/1303.3255v1.pdf , раздел 3, в частности Thm 3.10 p. 34

Этот связанный с топологией статья - это заглушка. Вы можете помочь Википедии расширяя это.