On the Coextension of Cut-Continuous Pomonoids

  title={On the Coextension of Cut-Continuous Pomonoids},
  author={David Kruml and Jan Paseka and T. Vetterlein},
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
The MacNeille Completions for Residuated S-Posets
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
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


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
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
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
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
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
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
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