Q-orders with no unit on Q

For a usual commutative quantale Q (does not necessarily have a unit), we propose a definition of Q-ordered sets by introducing a kind of self-adaptive self-reflexivity. We study their completeness and the related Q-modules of complete lattices. The main result is that, the complete Q-ordered sets and the Q-modules of complete lattices are categorical isomorphic.

Fuzzy Results for Finitely Supported Structures

We present a survey of some results published recently by the authors regarding the fuzzy aspects of finitely supported structures. Considering the notion of finite support, we introduce a new degree of membership association between a crisp set and a finitely supported function modelling a degree of membership for each element in the crisp set. We define and study the notions of invariant set, invariant complete lattices, invariant monoids and invariant strong inductive sets. The finitely supported (fuzzy) subgroups of an invariant group, as well as the L-fuzzy sets on an invariant set (with L being an invariant complete lattice) form invariant complete lattices. We present some fixed point results (particularly some extensions of the classical Tarski theorem, Bourbaki–Witt theorem or Tarski–Kantorovitch theorem) for finitely supported self-functions defined on invariant complete lattices and on invariant strong inductive sets; these results also provide new finiteness properties of infinite fuzzy sets. We show that apparently, large sets do not contain uniformly supported, infinite subsets, and so they are invariant strong inductive sets satisfying finiteness and fixed-point properties.

Prime, irreducible, and completely irreducible lattice preradicals on modular complete lattices (I)

Based on the concept of a lattice preradical recently introduced in [T. Albu and M. Iosif, Lattice preradicals with applications to Grothendieck categories and torsion theories, J. Algebra 444 (2015) 339–366], we present and investigate in this paper, the latticial counterparts of the concepts of prime and irreducible preradicals on the category Mod-[Formula: see text] of all unital right [Formula: see text]-modules over an associative ring [Formula: see text] with identity, introduced and studied in [F. Raggi, J. Ríos Montes, H. Rincón, R. Fernández-Alonso and C. Signoret, Prime and irreducible preradicals, J. Algebra Appl. 4 (2005) 451–466].

On Bonds for Generalized One-Sided Concept Lattices

The generalized one-sided concept lattices represent a generalization of the classical FCA method convenient for a hierarchical analysis of object-attribute models with different types of attributes. The mentioned types of object-attribute models are formalized within the theory as formal contexts of a certain type. The aim of this paper is to investigate some intercontextual relationships represented by the notion of bond. A composition of bonds is defined in order to introduce the category of formal contexts with bonds as morphisms. It is shown that there is a one-to-one correspondence between bonds and supremum preserving mappings between the corresponding generalized one-sided concept lattices. As the main theoretical result it is shown that the introduced category of formal contexts with bonds is equivalent to the category of complete lattices with supremum preserving mappings as morphisms.