  We introduce an $\infty$-category of geometric $\infty$-categories, whose
objects are defined by dropping the effectivity condition on colimits in Anel
and Joyal's definition of $\infty$-logos. We propose a theory of higher
geometric sheaves on geometric $\infty$-categories $\mathcal{C}$, which will be
shown to differ from the ordinary geometric sheaf theory on $\mathcal{C}$ by a
cotopological fragment. We prove that this fragment is crucial: for instance
every $\infty$-topos is the theory of higher geometric sheaves over itself, but
the corresponding cotopological localization of its ordinary geometric sheaf
theory is generally non-trivial. The notion of higher geometric sheaves over
geometric $\infty$-categories hence faithfully generalizes Lurie's definition
of sheaves over $\infty$-toposes.
  We define this class of sheaf theories by way of an adaption of Anel and
Leena Subramaniam's $\Delta$-modulators. The according sheaves are
characterized by a limit preservation property that is generally not captured
by the classical sheaf condition as known from ordinary sheaf theory over
topological spaces (or over geometric categories more generally). The latter
arises as a special case instead. To motivate this class of limits, we first
introduce and discuss simpler but analogous sheaf theories for extensive and
regular $\infty$-categories.
