Minimal finite models.
Multiplicative lattices and -algebras
On a characterization of the lattice of subsystems of a transition system.
On orderings of the system of subsets of ordered sets
On paracompact locales and metric locales
On primeness and maximality of filters
On reflexive subobject lattices and reflexive endomorphism algebras
In this paper we study the reflexive subobject lattices and reflexive endomorphism algebras in a concrete category. For the category Set of sets and mappings, a complete characterization for both reflexive subobject lattices and reflexive endomorphism algebras is obtained. Some partial results are also proved for the category of abelian groups.
On subgroups of the Lambek pregroup.
On system of subobject functors in the category of ordered sets
On the -valued categories of --ordered sets
The aim of this paper is to construct an -valued category whose objects are --ordered sets. To reach the goal, first, we construct a category whose objects are --ordered sets and morphisms are order-preserving mappings (in a fuzzy sense). For the morphisms of the category we define the degree to which each morphism is an order-preserving mapping and as a result we obtain an -valued category. Further we investigate the properties of this category, namely, we observe some special objects, special...
Ordered categories with involution [Book]
Order-enriched solid functors
Order-enriched solid functors, as presented in this paper in two versions, enjoy many of the strong properties of their ordinary counterparts, including the transfer of the existence of weighted (co)limits from their codomains to their domains. The ordinary version of the notion first appeared in Trnková's work on automata theory of the 1970s and was subsequently studied by others under various names, before being put into a general enriched context by C. Anghel. Our focus in this paper is on differentiating...
Perfect maps are exponentiable - categorically.
Push-outs and strict projective limits of semilattices.
Relative injectivity as cocompleteness for a class of distributors.
Representation of ordered classes by classes of connected unary algebras
Representation of uni-nullnorms and null-uninorms on bounded lattices
In this paper, we present the representation for uni-nullnorms with disjunctive underlying uninorms on bounded lattices. It is shown that our method can cover the representation of nullnorms on bounded lattices and some of existing construction methods for uni-nullnorms on bounded lattices. Illustrative examples are presented simultaneously. In addition, the representation of null-uninorms with conjunctive underlying uninorms on bounded lattices is obtained dually.
Representations of bipartite completed posets.
Samuel compactification and uniform coreflection of nearness -frames
We introduce the structure of a nearness on a -frame and construct the coreflection of the category of nearness -frames to the category of compact regular -frames. This description of the Samuel compactification of a nearness -frame is in analogy to the construction by Baboolal and Ori for nearness frames in [1] and that of Walters for uniform -frames in [11]. We also construct the uniform coreflection of a nearness -frame, that is, the coreflection of the category of to the category...
Spectra of rings and lattices.