$\infty$-cosheafification

Abstract

Cosheaves are a dual notion of sheaves. In this paper, we prove existence of a dual of sheafifications, called \textit{cosheafifications}, in the $\infty$-category theory. We also prove that the $\infty$-category of $\infty$-cosheaves is presentable and equivalent to an $\infty$-category of left adjoint functors.

References in corpus (1)

• Higher Topos Theory