×

Topological categories, quantaloids and Isbell adjunctions. (English) Zbl 1333.18009

Recently, R. Garner [Theory Appl. Categ. 29, 406–421 (2014; Zbl 1305.18005)] stated that a faithful functor is topological in the sense of categorical topology [J. Adámek et al., Repr. Theory Appl. Categ. 2006, No. 17, 1–507 (2006; Zbl 1113.18001)] if, and only if, it is total (same as totally cocomplete) in the sense of enriched category theory [R. Street and R. Walters, J. Algebra 50, 350–379 (1978; Zbl 0401.18004)], arriving thus at a common ground for two seemingly unrelated lines of category theory. Motivated by this achievement, the authors of the present paper make another step in the same direction, putting some results of categorical topology into the context of categories enriched in a quantaloid. In particular, they show how concrete categories over a category B can be naturally described as categories enriched in the free quantaloid over B. Interpreting structured sinks as presheaves gives then the result of R. Garner (Theorem 3.2 on page 217). Moreover, the authors provide an enriched category theory analogue of the result of O. Wyler [General Topology Appl. 1, 17–28 (1971; Zbl 0215.51502)] stating that a concrete category is topological if, and only if, it is a fibration and an opfibration, and has complete lattices as fibres (Corollary 6.3 on page 225). They then present an enriched analogue of the result of R.-E. Hoffmann [“Die kategorielle Auffassung der Initial- und Finaltopologie”, Ph.D. thesis, University of Bochum, (1972)] on self-duality for topological functors, and also show that a category is total precisely when it appears as the category of the fixed objects under the so-called Isbell adjunction induced by a distributor L. Shen and D. Zhang [Theory Appl. Categ. 28, 577–615 (2013; Zbl 1273.18022)] (cf. Theorem 8.5 on page 231, and Corollary 9.3 on page 233).
The paper is well written, carefully provides most of its required preliminaries, and will be of interest to the researchers, dealing with categorical topology.

MSC:

18D20 Enriched categories (over closed or monoidal categories)
54A99 Generalities in topology
54B30 Categorical methods in general topology
06F07 Quantales
06F99 Ordered structures

References:

[1] Adámek, J.; Herrlich, H.; Strecker, G. E., Abstract and Concrete Categories: The Joy of Cats (1990), Wiley: Wiley New York · Zbl 0695.18001
[2] Barr, M., ⁎-Autonomous categories and linear logic, Math. Struct. Comput. Sci., 1, 159-178 (1991) · Zbl 0777.18006
[3] Bénabou, J., Les distributeurs (1973), Université Catholique de Louvain, Institute de Matématique Pure et Appliquée, Rapport no. 33
[4] Brümmer, G. C.L., A categorical study of initiality in uniform topology (1971), University of Cape Town, PhD thesis
[5] Brümmer, G. C.L.; Hoffmann, R.-E., An external characterization of topological functors, (Binz, E.; Herrlich, H., Categorical Topology. Categorical Topology, Lect. Notes Math., vol. 540 (1976), Springer: Springer Berlin, Heidelberg), 136-151 · Zbl 0334.54001
[6] Davey, B. A.; Priestley, H. A., Introduction to Lattices and Order (2002), Cambridge University Press: Cambridge University Press Cambridge · Zbl 1002.06001
[7] Eilenberg, S.; Kelly, G. M., Closed categories, (Eilenberg, S.; Harrison, D. K.; Mac Lane, S.; Röhrl, H., Proceedings of the Conference on Categorical Algebra (1966), Springer: Springer Berlin, Heidelberg), 421-562 · Zbl 0192.10604
[8] Garner, R., Topological functors as total categories, Theory Appl. Categ., 29, 15, 406-421 (2014) · Zbl 1305.18005
[9] Giuli, E.; Tholen, W., A topologist’s view of Chu spaces, Appl. Categ. Struct., 15, 5-6, 573-598 (2007) · Zbl 1143.18008
[10] Herrlich, H., Topological functors, Gen. Topol. Appl., 4, 2, 125-142 (1974) · Zbl 0288.54003
[11] Herrlich, H., Convenient topological constructs, (Rodabaugh, S. E.; Klement, E. P.; Höhle, U., Applications of Category Theory to Fuzzy Subsets. Applications of Category Theory to Fuzzy Subsets, Theory Decis. Libr., vol. 14 (1992), Springer: Springer Berlin, Heidelberg), 137-151 · Zbl 0772.54008
[12] Hoffmann, R.-E., Die kategorielle Auffassung der Initial- und Finaltopologie (1972), University of Bochum, PhD thesis
[13] Hoffmann, R.-E., Semi-identifying lifts and a generalization of the duality theorem for topological functors, Math. Nachr., 74, 1, 295-307 (1976) · Zbl 0345.18002
[14] (Hofmann, D.; Seal, G. J.; Tholen, W., Monoidal Topology: A Categorical Approach to Order, Metric, and Topology. Monoidal Topology: A Categorical Approach to Order, Metric, and Topology, Encycl. Math. Appl., vol. 153 (2014), Cambridge University Press: Cambridge University Press Cambridge) · Zbl 1297.18001
[15] Hušek, M., Construction of special functors and its applications, Comment. Math. Univ. Carol., 008, 3, 555-566 (1967) · Zbl 0172.47601
[16] Kelly, G. M., Basic Concepts of Enriched Category Theory, Lond. Math. Soc. Lect. Note Ser., vol. 64 (1982), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0478.18005
[17] Lawvere, F. W., Taking categories seriously, Rev. Colomb. Mat., XX, 147-178 (1986) · Zbl 0648.18001
[18] Lowen-Colebunders, E.; Lowen, R., Supercategories of Top and the inevitable emergence of topological constructs, (Aull, C. E.; Lowen, R., Handbook of the History of General Topology. Handbook of the History of General Topology, Hist. Topol., vol. 3 (2001), Springer: Springer Berlin, Heidelberg), 969-1026 · Zbl 1008.54007
[19] Pratt, V., Chu spaces and their interpretation as concurrent objects, (Leeuwen, J., Computer Science Today. Computer Science Today, Lect. Notes Comput. Sci., vol. 1000 (1995), Springer: Springer Berlin, Heidelberg), 392-405 · Zbl 0875.00060
[20] Rosenthal, K. I., Free quantaloids, J. Pure Appl. Algebra, 72, 1, 67-82 (1991) · Zbl 0729.18007
[21] Shen, L., Adjunctions in quantaloid-enriched categories (2014), Sichuan University: Sichuan University Chengdu, PhD thesis
[22] Shen, L.; Tholen, W., Limits and colimits of quantaloid-enriched categories and their distributors (2015) · Zbl 1334.18005
[23] Shen, L.; Zhang, D., Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions, Theory Appl. Categ., 28, 20, 577-615 (2013) · Zbl 1273.18022
[24] Street, R.; Walters, R. F.C., Yoneda structures on 2-categories, J. Algebra, 50, 2, 350-379 (1978) · Zbl 0401.18004
[25] Stubbe, I., Categorical structures enriched in a quantaloid: categories, distributors and functors, Theory Appl. Categ., 14, 1, 1-45 (2005) · Zbl 1079.18005
[26] Stubbe, I., Categorical structures enriched in a quantaloid: tensored and cotensored categories, Theory Appl. Categ., 16, 14, 283-306 (2006) · Zbl 1119.18005
[28] Tholen, W., Semi-topological functors I, J. Pure Appl. Algebra, 15, 1, 53-73 (1979) · Zbl 0413.18001
[29] Tholen, W.; Wischnewsky, M. B., Semi-topological functors II: external characterizations, J. Pure Appl. Algebra, 15, 1, 75-92 (1979) · Zbl 0413.18002
[30] Walters, R. F.C., Sheaves and Cauchy-complete categories, Cah. Topol. Géom. Différ. Catég., 22, 3, 283-286 (1981) · Zbl 0495.18009
[31] Wyler, O., On the categories of general topology and topological algebra, Arch. Math., 22, 1, 7-17 (1971) · Zbl 0265.18008
[32] Wyler, O., Top categories and categorical topology, Gen. Topol. Appl., 1, 1, 17-28 (1971) · Zbl 0215.51502
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.