Presheaves over a join restriction category (Q2423834)

The paper [\textit{J. R. B. Cockett} and \textit{S. Lack}, Theor. Comput. Sci. 270, No. 1--2, 223--259 (2002; Zbl 0988.18003)] was the first to both isolate the restriction structure and make its connection to partiality explicit. Restriction categories are intended to capture the degree of partiality of a map \(f:A\rightarrow B\) through an idempotent \(\overline{f}:A\rightarrow A\), known as a restriction idempotent. The paper [the author and \textit{R. Garner}, ``Cocompletion of restriction categories'', Preprint, \url{arXiv:1610.07164}] gave a definition of cocomplete restriction category, and introduced the notion of restriction presheaf over a restriction category, showing that there is an analogue of ree cocompletion in the restriction setting via the restriction category of restriction presheaves. The principal objective in this paper is to extend the work [loc. cit, \url{arXiv:1610.07164}] to join restriction categories.