Abstract
We introduce cut-continuous pomonoids, which generalise residuated posets. The latter’s defining condition is that the monoidal product is residuated in each argument; we define cut-continuous pomonoids by requiring that the monoidal product is in each argument just cut-continuous. In the case of a total order, the condition of cut-continuity means that multiplication distributes over existing suprema. Morphisms between cut-continuous pomonoids can be chosen either in analogy with unital quantales or with residuated lattices. Under the assumption of commutativity and integrality, congruences are in the latter case induced by filters, in the same way as known for residuated lattices. We are interested in the construction of coextensions: given cut-continuous pomonoids K and C, we raise the question how we can determine the cut-continuous pomonoids L such that C is a filter of L and the quotient of L induced by C is isomorphic to K. In this context, we are in particular concerned with tensor products of modules over cut-continuous pomonoids. Using results of M. Erné and J. Picado on closure spaces, we show that such tensor products exist. An application is the construction of residuated structures related to fuzzy logics, in particular left-continuous t-norms.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Bishop, A.: A universal mapping characterization of the completion by cuts. Algebra Univers. 8, 349–353 (1978)
Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13, 437–461 (2003)
Clifford, A.H., Preston, G.B.: The algebraic theory of semigroups, vol. I. American Mathematical Society, Providence (1961)
Erné, M.: On the relativization of chain topologies. Pacific. J. Math. 84, 43–52 (1979)
Erné, M.: Tensor products for bounded posets revisited. Order 7, 295–314 (1990)
Erné, M.: The Dedekind-MacNeille completion as a reflector. Order 8, 159–173 (1991)
Erné, M.: Closure. In: Mynard, F., Pearl, E. (eds.) Beyond topology, Contemporary Mathematics, vol. 486, pp 163–238. American Mathematical Society, Providence (2009)
Erné, M.: Cut-continuity, cut-compatibility, filters and congruences of pomonoids submitted (2018)
Erné, M., Picado, J.: Tensor products and relation quantales. Algebra Univer. 78, 461–487 (2017)
Erné, M., Reichman, J.: Completions of partially ordered semigroups. Semigroup Forum 34, 253–285 (1987)
Joyal, A., Tierney, M.: An extension of the Galois theory of Grothendieck. American Mathematical Society, Providence (1984)
Kruml, D.: Spatial quantales. Appl. Categ. Struct. 10, 49–62 (2002)
Kruml, D., Paseka, J.: Algebraic and categorical aspects of quantales. In: Handbook of Algebra, volume 5, pp. 323–362, North-Holland (2008)
Nelson, E.: Galois connections as left adjoint maps. Commentat. Math. Univ. Carol. 17, 523–541 (1976)
Rosenthal, K.I.: Quantales and their applications, Pitman Research Notes in Mathematics. Longman Scientific & Technical, New York (1990)
Russo, C.: Quantale modules and their operators, with applications. J. Log. Comput. 20, 917–946 (2010)
Tsinakis, C., Wille, A.M.: Minimal varieties of involutive residuated lattices. Stud. Log. 83, 407–423 (2006)
Vetterlein, T.: Totally ordered monoids based on triangular norms. Commun. Algebra 43, 2643–2679 (2015)
Acknowledgments
Open access funding provided by Austrian Science Fund (FWF). The authors acknowledge the support by the Czech Science Foundation (GAČR): project 15-34697L and the Austrian Science Fund (FWF): project I 1923-N25.
They would moreover like to express their gratitude to the anonymous reviewers whose thorough and detailed comments lead to a considerable improvement of this paper. Finally, the authors are indepted to M. Erné whose article [8] helped to enhance the results of this paper in a substantial manner.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kruml, D., Paseka, J. & Vetterlein, T. On the Coextension of Cut-Continuous Pomonoids. Order 36, 271–290 (2019). https://doi.org/10.1007/s11083-018-9466-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-018-9466-3