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 Q-categories, 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 Q-orders. As there is no ``topos of sheaves on a quantaloid', Q-orders cannot be defined as ordered objects in such a topos. Instead a description of Q-orders as categorical structures enriched in the quantaloid Q is proposed. The well-known 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 (one-object suspension of) L. Then it turns out that the theory of Q-categories has to be weakened to include ``categories without units', i.e. Q-semicategories. But for Q-semicategories to admit a convenient distributor calculus, a ``regularity' condition has to be imposed. And for those regular Q-semicategories 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 Q-semicategories are the Q-orders; for a locale L they are indeed the ordered objects in the topos of sheaves on L. A (bi)equivalent description of those Q-orders can be given in terms of categories enriched in the split-idempotent completion of the quantaloid Q: a totally regular semicategory enriched in Q corresponds in a precise sense to a category enriched in the split-idempotent completion of Q. Applying this once more to a locale L instead of a quantaloid Q, these results thus deepen the work of the Louvain-la-Neuve 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.
| Identifer | oai:union.ndltd.org:BICfB/oai:ucl.ac.be:ETDUCL:BelnUcetd-10242003-105104 |
| Date | 12 November 2003 |
| Creators | Stubbe, Isar |
| Publisher | Universite catholique de Louvain |
| Source Sets | Bibliothèque interuniversitaire de la Communauté française de Belgique |
| Language | English |
| Detected Language | English |
| Type | text |
| Format | application/pdf |
| Source | http://edoc.bib.ucl.ac.be:81/ETD-db/collection/available/BelnUcetd-10242003-105104/ |
| Rights | unrestricted, J'accepte que le texte de la thèse (ci-après l'oeuvre), sous réserve des parties couvertes par la confidentialité, soit publié dans le recueil électronique des thèses UCL. A cette fin, je donne licence à l'UCL : - le droit de fixer et de reproduire l'oeuvre sur support électronique : logiciel ETD/db - le droit de communiquer l'oeuvre au public Cette licence, gratuite et non exclusive, est valable pour toute la durée de la propriété littéraire et artistique, y compris ses éventuelles prolongations, et pour le monde entier. Je conserve tous les autres droits pour la reproduction et la communication de la thèse, ainsi que le droit de l'utiliser dans de futurs travaux. Je certifie avoir obtenu, conformément à la législation sur le droit d'auteur et aux exigences du droit à l'image, toutes les autorisations nécessaires à la reproduction dans ma thèse d'images, de textes, et/ou de toute oeuvre protégés par le droit d'auteur, et avoir obtenu les autorisations nécessaires à leur communication à des tiers. Au cas où un tiers est titulaire d'un droit de propriété intellectuelle sur tout ou partie de ma thèse, je certifie avoir obtenu son autorisation écrite pour l'exercice des droits mentionnés ci-dessus. |
Page generated in 0.0017 seconds