Abstract
We consider the theory of categories enriched in an involutive quantaloid \(\mathcal{Q}\) : the \(\mathcal{Q}\)-*-categories. After giving an introduction to involutive quantaloids and nuclei, we use matrices with entries in \(\mathcal{Q}\) to define \(\mathcal{Q}\)-*-categories. Then we examine the relations between two kinds of morphisms between them, the functors and the *-maps, to provide a basis to study completeness properties. These results are used to provide a definition of pseudo-presheaves, presheaves and sheaves on involutive quantaloids in order to get a generalization of presheaves and sheaves on sites. Finally a characterization of these sheaves in terms of covers and compatible families is presented.
Similar content being viewed by others
References
Borceux, F., Van den Bossche, G.: Quantales and their sheaves. Order 3, 61–87 (1986)
Betti, R., Carboni, A.: Notion of topology for bicategories. Cahiers Topologie Géom. Différentille Catég. XXIV-1, 19–22 (1983)
Betti, R., Carboni, A., Street, R., Walters, R.: Variation through enrichment. J. Pure Appl. Algebra 29, 109–127 (1983)
Fourman, M.P., Scott, D.S.: Sheaves and logic, in applications of sheaves. Lecture Notes in Math. 753, 302–401 (1979)
Freyd, P.J., Scedrov, A.: Categories, Allegories. North-Holland Mathematical Library, vol. 39 (1990)
Gylys, R.P.: Sheaves on involutive quantaloids. Lithuanian Math. J. 41(1), 35–53 (2001)
Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium (I–II), Oxford Logic Guides, pp. 43–44. Oxford University Press (2002)
Kelly, G.M.: Basic Concepts of Enriched Category Theory. London Mathematical Society Lecture Note Series, vol. 64. Cambridge University Press (1982)
Lawvere, F.W.: Metric spaces, generalized logic and closed categories. Rend. Sem. Mat. Fis. Milano 43, 135–166 (1973)
Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory Universitext. Springer-Verlag New York (1992)
Mulvey, C.J., Nawaz, M.: Quantales: Quantal Sets. Non-Classical Logics and their Application to Fuzzy Subsets: A Handbook of the Mathematical Foundations of Fuzzy Set Theory, pp. 159–217. Kluwer (1995)
Rosenthal, K.I.: Quantales and Their Applications. Pitman Research Notes in Mathematics Series, vol. 234. Longman, Harlow (1990)
Rosenthal, K.I.: The Theory of Quantaloids. Pitman Research Notes in Mathematics Series, vol. 348. Longman, Harlow (1996)
Stubbe, I.: Categorical structures enriched in a quantaloid: categories, distributors, functors. Theory Appl. Categ. 14, 1–45 (2005)
Stubbe, I.: Categorical structures enriched in a quantaloid: tensored and cotensored categories. Theory Appl. Categ. 16, 283–306 (2006)
Walters, R.F.C.: Sheaves on sites as cauchy complete categories. J. Pure Appl. Algebra 24, 95–102 (1982)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Heymans, H. \(\boldsymbol{\mathcal{Q}}\)-*-Categories. Appl Categor Struct 17, 1–28 (2009). https://doi.org/10.1007/s10485-008-9149-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-008-9149-0