Abstract 
: 
This thesis consists of two parts: a synthesis of the theory of categories enriched in a quantaloid; and a weakening of this theory for it to include semicategories describing ordered sheaves on a quantaloid.
A synthesis of, and supplements to, results in the literature concerning the theory of categories enriched in a quantaloid Q (as particular case of categories enriched in a bicategory) is contained in the first chapters. This theory is built with Qcategories, functors and distributors, and contains such notions as, for example, adjoint functors, weighted colimits, presheaves, Kan extensions, Cauchy completions and Morita equivalence, and so on. The literature does not provide an overview of these matters, so it was necessary to provide one here.
Then the necessary theory is developed to arrive at an elementary description of ``ordered sheaves on a quantaloid Q', henceforth referred to as Qorders. As there is no ``topos of sheaves on a quantaloid', Qorders cannot be defined as ordered objects in such a topos. Instead a description of Qorders as categorical structures enriched in the quantaloid Q is proposed. The wellknown ordered sheaves on a locale L (i.e.~ordered objects in the topos of sheaves on L) should of course be a particular example of the general theory, taking Q to be the (oneobject suspension of) L. Then it turns out that the theory of Qcategories has to be weakened to include ``categories without units', i.e. Qsemicategories. But for Qsemicategories to admit a convenient distributor calculus, a ``regularity' condition has to be imposed. And for those regular Qsemicategories to admit a reasonable theory of Cauchy completions and Morita equivalence, the even stronger condition of ``total regularity' has to be imposed. The former notion has been studied before for semicategories enriched in a symmetric monoidal closed category; the latter notion is new, and is introduced via the intuitively clear idea of ``stability of objects'. The point is then that precisely the Cauchy complete totally regular Qsemicategories are the Qorders; for a locale L they are indeed the ordered objects in the topos of sheaves on L. A (bi)equivalent description of those Qorders can be given in terms of categories enriched in the splitidempotent completion of the quantaloid Q: a totally regular semicategory enriched in Q corresponds in a precise sense to a category enriched in the splitidempotent completion of Q. Applying this once more to a locale L instead of a quantaloid Q, these results thus deepen the work of the LouvainlaNeuve school, and reconcile it with that of the Sydney school, on the description of (ordered) sheaves on a locale as enriched categorical structures.
The extended introduction gives a compact yet intuitive presentation of the developments contained in the thesis.
