Sheaves of (, ) -categories

We provide a functorial presentation of the (, 1) -category of sheaves of (n, r) -categories for all -2 n and 0 r n+2 baed on complete Segal space objects. In this definition, the equivalences of sheaves of (, ) -categories are defined inductively, so we also provide a localisation at the coinductive equivalences to define the (, 1) -category of sheaves of -categories as well. We prove that the (, 1) -category of sheaves of (, ) -categories and the (, 1) -category of sheaves of -categories both define distributors over the underlying topos of sheaves of spaces. Moreover, we show that these distributors define terminal and initial fixed points with respect to the construction of complete Segal space objects in a distributor. We conclude with a sheafification result: the category of sheaves of (n, r) -categories over a site C can be presented as a strongly reflective localisation of Fun (C^op, Cat (₍, ₑ) ), where the localisation functor preserves fibre products over Sh (C), with the analogous result also holding for sheaves of -categories.