# On the Coextension of Cut-Continuous Pomonoids

@article{Kruml2019OnTC,
title={On the Coextension of Cut-Continuous Pomonoids},
author={David Kruml and Jan Paseka and Thomas Vetterlein},
journal={Order},
year={2019},
volume={36},
pages={271-290}
}
• Published 2019
• Mathematics, Computer Science
• Order
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… Expand
2 Citations

#### Figures and Topics from this paper

The MacNeille Completions for Residuated S-Posets
• Mathematics
• International Journal of Theoretical Physics
• 2019
In this paper, we continue the study of injectivity for fuzzy-like structures. We extend the results of Zhang and Paseka for S -semigroups to the setting of residuated S -posets. It turns out thatExpand
On ordinal sums of partially ordered monoids: A unified approach to ordinal sum constructions of t-norms, t-conorms and uninorms
• Mathematics
• 2021
Abstract This paper introduces two fundamental types of ordinal sum constructions for partially ordered monoids that are determined by two specific partial orderings on the disjoint union of theExpand

#### References

SHOWING 1-10 OF 21 REFERENCES
Totally Ordered Monoids Based on Triangular Norms
A totally ordered monoid, or tomonoid for short, is a monoid together with a translation-invariant (i.e., compatible) total order. We consider in this paper tomonoids fulfilling the followingExpand
Tensor products for bounded posets revisited
The category BPC of bounded posets and so-called cut continuous maps has concrete products, and the Dedekind-MacNeille completion gives rise to a reflector from BPC to the full subcategory CLJ ofExpand
Tensor products and relation quantales
• Mathematics
• 2016
A classical tensor product $${A \otimes B}$$A⊗B of complete lattices A and B, consisting of all down-sets in $${A \times B}$$A×B that are join-closed in either coordinate, is isomorphic to theExpand
The Structure of Residuated Lattices
• Mathematics, Computer Science
• Int. J. Algebra Comput.
• 2003
The notion of a normal subalgebra is developed and it is shown that ℛℒ is an "ideal variety" in the sense that it is an equational class in which congruences correspond to "normal" subalgebras in the same way that ring congruence correspond to ring ideals. Expand
Completions for partially ordered semigroups
• Mathematics
• 1986
A standard completion γ assigns a closure system to each partially ordered set in such a way that the point closures are precisely the (order-theoretical) principal ideals. If S is a partiallyExpand
The Dedekind-MacNeille completion as a reflector
We introduce a special type of order-preserving maps between quasiordered sets, the so-called cut-stable maps. These form the largest morphism class such that the corresponding category ofExpand
A universal mapping characterization of the completion by cuts
Closed maps of lattices are defined to be those satisfying the condition that the inverse image of closed ideals are closed ideas. Residuated maps are closed and closed maps are complete-joinExpand
The algebraic theory of semigroups
• Mathematics
• 1964
This book, along with volume I, which appeared previously, presents a survey of the structure and representation theory of semi groups. Volume II goes more deeply than was possible in volume I intoExpand
Algebraic and Categorical Aspects of Quantales
• Mathematics
• 2008
Publisher Summary This chapter introduces the basic notions in theory of quantales. It describes the aspects of algebraic and categorical properties of quantales and quantale modules. This chapterExpand
Minimal Varieties of Involutive Residuated Lattices
• Mathematics, Computer Science
• Stud Logica
• 2006
It is established the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices based on the fact that every residuates lattice with greatest element can be associated in a canonical way with an involutive residencyuated lattice. Expand