Понятие клеточного подфунктора ковариантного функтора в категории COMP

В статье вводится понятие клеточного подфунктора. Получены примеры клеточных подфункторов. Доказано, что пространство замкнутых подмножеств клеточно вложимо в $\lambda(X\cup \{p\})$. На основе полученных результатов установлено равенство с $(F(X)) = c(X^{\omega})$ для ковариантных функторов $\mathcal{N}^{k}, \lambda$ и $G$ в категории $COMP$.