Cosheaf - Cosheaf

Топологияда, математиканың бір саласы, а жоғарғы деңгей мәндерімен бірге ∞-санаты C колимиттерді қабылдайтын функция F топологиялық кеңістіктің ашық ішкі топтары санатынан X (нақтырақ оның жүйке ) дейін C осындай

(1) F бос жиынның бастапқы нысаны болып табылады.
(2) Кез келген ұлғаю кезегі үшін ${ displaystyle U_ {i}}$ одақпен ашық ішкі жиындар U, канондық карта ${ displaystyle varinjlim F (U_ {i}) to F (U)}$ эквиваленттік болып табылады.
(3) ${ displaystyle F (U cup V)}$ итеру болып табылады ${ displaystyle F (U cap V) to F (U)})$ және ${ displaystyle F (U cap V) to F (V)})$ .