×

Regularity vs. constructive complete (co)distributivity. (English) Zbl 1396.18007

Summary: It is well known that a relation \(\varphi\) between sets is regular if, and only if, \(\mathcal K\varphi\) is completely distributive (cd), where \(\mathcal K\varphi\) is the complete lattice consisting of fixed points of the Kan adjunction induced by \(\varphi\). For a small quantaloid \(\mathcal Q\), we investigate the \(\mathcal Q\)-enriched version of this classical result, i.e., the regularity of \(\mathcal Q\)-distributors versus the constructive complete distributivity (ccd) of \(\mathcal Q\)-categories, and prove that “the dual of \(\mathcal K\varphi\) is (ccd) \(\Longrightarrow\varphi\) regular \(\Longrightarrow \mathcal K\varphi\) is (ccd)” for any \(\mathcal Q\)-distributor \(\varphi\). Although the converse implications do not hold in general, in the case that \(\mathcal Q\) is a commutative integral quantale, we show that these three statements are equivalent for any \(\varphi\) if, and only if, \(\mathcal Q\) is a Girard quantale.

MSC:

18D20 Enriched categories (over closed or monoidal categories)
18B35 Preorders, orders, domains and lattices (viewed as categories)
18A40 Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
06D10 Complete distributivity
20M17 Regular semigroups

References:

[1] H.-J. Bandelt. Regularity and complete distributivity. Semigroup Forum, 19(1):123- 126, 1980. · Zbl 0429.20056
[2] J. B´enabou.Les distributeurs.Universit´e Catholique de Louvain, Institute de Mat´ematique Pure et Appliqu´ee, Rapport no. 33, 1973.
[3] J. B´enabou. Distributors at work. Lecture notes of a course given at TU Darmstadt, 2000.
[4] R. Betti, A. Carboni, R. Street, and R. F. C. Walters. Variation through enrichment. Journal of Pure and Applied Algebra, 29(2):109-127, 1983. · Zbl 0571.18004
[5] F. Borceux. Handbook of Categorical Algebra: Volume 1, Basic Category Theory, vol ume 50 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1994. · Zbl 0911.18001
[6] F. Borceux. Handbook of Categorical Algebra: Volume 2, Categories and Structures, volume 51 of Encyclopedia of Mathematics and its Applications. Cambridge Univer sity Press, Cambridge, 1994. · Zbl 0911.18001
[7] C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, 88(2):467-490, 1958. · Zbl 0084.00704
[8] A. H. Clifford and G. B. Preston. The Algebraic Theory of Semigroups, Part 1, volume 7 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, 1961. · Zbl 0111.03403
[9] M. Ern´e. Distributive laws for concept lattices. Algebra Universalis, 30(4):538-580, 1993. · Zbl 0795.06006
[10] B. Fawcett and R. J. Wood. Constructive complete distributivity. I. Mathematical Proceedings of the Cambridge Philosophical Society, 107:81-89, 1990. · Zbl 0694.06008
[11] M. Grandis. Weak subobjects and the epi-monic completion of a category. Journal of Pure and Applied Algebra, 154(1-3):193-212, 2000. · Zbl 1059.18001
[12] M. Grandis. On the monad of proper factorisation systems in categories. Journal of Pure and Applied Algebra, 171(1):17-26, 2002. · Zbl 0999.18003
[13] J. A. Green. On the structure of semigroups. Annals of Mathematics, 54(1):163-172, 1951. · Zbl 0043.25601
[14] P. H´ajek. Metamathematics of Fuzzy Logic, volume 4 of Trends in Logic. Springer, Dordrecht, 1998. 520 HONGLIANG LAI AND LILI SHEN · Zbl 0937.03030
[15] H. Heymans. Sheaves on Quantales as Generalized Metric Spaces. PhD thesis, Uni versiteit Antwerpen, Belgium, 2010.
[16] D. Hofmann. Duality for distributive spaces. Theory and Applications of Categories, 28(3):66-122, 2013. · Zbl 1288.18002
[17] U. H¨ohle and T. Kubiak. A non-commutative and non-idempotent theory of quantale sets. Fuzzy Sets and Systems, 166:1-43, 2011. · Zbl 1226.06011
[18] U. H¨ohle and T. Kubiak.On regularity of sup-preserving maps:generalizing Zarecki˘ı’s theorem. Semigroup Forum, 83(2):313-319, 2011. · Zbl 1253.06011
[19] J. M. Howie. Fundamentals of Semigroup Theory, volume 12 of London Mathematical Society Monographs New Series. Clarendon Press, Oxford, 1995. · Zbl 0835.20077
[20] E. P. Klement, R. Mesiar, and E. Pap. Triangular Norms, volume 8 of Trends in Logic. Springer, Dordrecht, 2000. · Zbl 0972.03002
[21] F. W. Lawvere. Metric spaces, generalized logic and closed categories. Rendiconti del Seminario Mat´ematico e Fisico di Milano, XLIII:135-166, 1973. · Zbl 0335.18006
[22] R. B. B. Lucyshyn-Wright. Totally distributive toposes. Journal of Pure and Applied Algebra, 216(11):2425-2431, 2012. · Zbl 1263.18001
[23] S. Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer, New York, second edition, 1998. · Zbl 0906.18001
[24] F. Marmolejo, R. Rosebrugh, and R. J. Wood. Completely and totally distributive categories I. Journal of Pure and Applied Algebra, 216(8-9):1775-1790, 2012. · Zbl 1278.18001
[25] Q. Pu and D. Zhang. Preordered sets valued in a GL-monoid. Fuzzy Sets and Systems, 187(1):1-32, 2012. · Zbl 1262.18008
[26] Q. Pu and D. Zhang. Categories enriched over a quantaloid: Algebras. Theory and Applications of Categories, 30(21):751-774, 2015. · Zbl 1338.18036
[27] R. Rosebrugh and R. J. Wood. Constructive complete distributivity IV. Applied Categorical Structures, 2(2):119-144, 1994. · Zbl 0804.06013
[28] R. Rosebrugh and R. J. Wood. An adjoint characterization of the category of sets. Proceedings of the American Mathematical Society, 122(2):409-413, 1997. · Zbl 0807.18001
[29] K. I. Rosenthal. Quantales and their Applications, volume 234 of Pitman research notes in mathematics series. Longman, Harlow, 1990.
[30] K. I. Rosenthal. Girard quantaloids. Mathematical Structures in Computer Science, 2:93-108, 1992. REGULARITY VS. CONSTRUCTIVE COMPLETE (CO)DISTRIBUTIVITY 521 · Zbl 0761.18008
[31] K. I. Rosenthal. The Theory of Quantaloids, volume 348 of Pitman Research Notes in Mathematics Series. Longman, Harlow, 1996. · Zbl 0845.18003
[32] B. M. Schein. Regular elements of the semigroup of all binary relations. Semigroup Forum, 13(1):95-102, 1976. · Zbl 0355.20058
[33] L. Shen. Adjunctions in Quantaloid-enriched Categories. PhD thesis, Sichuan Uni versity, Chengdu, 2014.
[34] L. Shen, Y. Tao, and D. Zhang. Chu connections and back diagonals between Q distributors. Journal of Pure and Applied Algebra, 220(5):1858-1901, 2016. · Zbl 1338.18037
[35] L. Shen and D. Zhang. Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions. Theory and Applications of Categories, 28(20):577-615, 2013. · Zbl 1273.18022
[36] I. Stubbe. Categorical structures enriched in a quantaloid: categories, distributors and functors. Theory and Applications of Categories, 14(1):1-45, 2005. · Zbl 1079.18005
[37] I. Stubbe. Categorical structures enriched in a quantaloid: orders and ideals over a base quantaloid. Applied Categorical Structures, 13:235-255, 2005. · Zbl 1093.06013
[38] I. Stubbe. Categorical structures enriched in a quantaloid: tensored and cotensored categories. Theory and Applications of Categories, 16(14):283-306, 2006. · Zbl 1119.18005
[39] I. Stubbe. Towards “dynamic domains”: Totally continuous cocomplete Q-categories. Theoretical Computer Science, 373(12):142-160, 2007. · Zbl 1111.68073
[40] I. Stubbe. An introduction to quantaloid-enriched categories. Fuzzy Sets and Systems, 256:95-116, 2014. · Zbl 1335.18002
[41] J. von Neumann. On regular rings. Proceedings of the National Academy of Sciences of the United States of America, 22(12):707-713, 1936. · Zbl 0015.38802
[42] R. F. C. Walters. Sheaves and Cauchy-complete categories. Cahiers de Topologie et G´eom´etrie Diff´erentielle Cat´egoriques, 22(3):283-286, 1981. · Zbl 0495.18009
[43] R. J. Wood. Ordered sets via adjunction. In M. C. Pedicchio and W. Tholen, editors, Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory, volume 97 of Encyclopedia of Mathematics and its Applications, pages 5-48. Cambridge University Press, 2003.
[44] X. Xu. Relational Representations of Complete Latices and Their Applications. PhD thesis, Sichuan University, Chengdu, 2004.
[45] X. Xu and Y. Liu. Regular relations and strictly completely regular ordered spaces. Topology and its Applications, 135(1-3):1-12, 2004. 522 HONGLIANG LAI AND LILI SHEN · Zbl 1035.54017
[46] J.-C. Yang. A theorem on the semigroup of binary relations. Proceedings of the American Mathematical Society, 22:134-135, 1969. · Zbl 0206.01403
[47] D. N. Yetter. Quantales and (noncommutative) linear logic. Journal of Symbolic Logic, 55(1):41-64, 1990. · Zbl 0701.03026
[48] K. A. Zarecki˘ı.The semigroup of binary relations.Matematicheskii Sbornik, 61(3):291-305, 1963. · Zbl 0125.28003
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.