Abstract:We introduce the notion of a higher covering diagram in a base $\infty$-category $\mathcal{C}$. The theory of higher covering diagrams in $\mathcal{C}$ will be shown to recover various descent conditions known from the $\infty$-categorical literature in a uniform manner. In fact, higher covering diagrams always assemble to what we refer to as a structured colimit pre-topology on the base $\mathcal{C}$. It hence always defines a sub-canonical sheaf theory over $\mathcal{C}$, and indeed defines the canonical such whenever $\mathcal{C}$ has pullbacks. This ``higher geometric'' sheaf theory will be shown to differ from the usual infinitary-coherent sheaf theory by a cotopological localization whenever $\mathcal{C}$ is infinitary-coherent itself. We prove that this localization is generally non-trivial. For instance, every $\infty$-topos is the theory of higher geometric sheaves over itself, but the according infinitary-coherent sheaf theory over it is generally strictly larger. The higher geometric sheaves are hence characterized by a limit preservation property that is generally not captured by the classical sheaf condition. We define an $\infty$-category of higher geometric $\infty$-categories, and show that the (opposite of the) $\infty$-category of $\infty$-toposes embeds fully faithfully therein. We show that the higher $\kappa$-geometric sheaf theory on a higher $\kappa$-geometric $\infty$-category defines the free $\infty$-topos generated by it, and consequently that it faithfully generalizes Lurie's definition of a ``sheaf'' over an $\infty$-topos.

Higher $K$-theory of forms III: from chain complexes to derived categories

Higher K-theory of forms II. From exact categories to chain complexes

Higher K-theory via universal invariants

$K$-theory as an Eilenberg-Maclane spectrum

Cdh Descent for Homotopy Hermitian $K$-Theory of Rings with Involution

Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

Higher geometric sheaf theories

K-flatness in Grothendieck categories: Application to quasi-coherent sheaves

Every spectrum is the K-theory of a stable $\infty$-category

Real K-theory for Waldhausen infinity categories with genuine duality

Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

The derived $\infty$-category of Cartier Modules

On the K-theory of $\mathbb{Z}$-categories

Towards the $p$-adic Hodge theory for non-commutative algebraic varieties

A monoidal Dold-Kan correspondence for comodules

Homological algebra in bivariant K-theory and other triangulated categories

Non-additive derived functors via chain resolutions

K-theory for 2-categories

Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

The spectral model of (Real) $K$-theory