A shrinking of a category of societies is a universal partly ordered class
An Elementary Characterization of the Category of Partly Ordered Sets.
An extension method for t-norms on subintervals to t-norms on bounded lattices
In this paper, a construction method on a bounded lattice obtained from a given t-norm on a subinterval of the bounded lattice is presented. The supremum distributivity of the constructed t-norm by the mentioned method is investigated under some special conditions. It is shown by an example that the extended t-norm on from the t-norm on a subinterval of need not be a supremum-distributive t-norm. Moreover, some relationships between the mentioned construction method and the other construction...
Categorical structures enriched in a quantaloid: categories, distributors and functors.
Categorical structures enriched in a quantaloid : regular presheaves, regular semicategories
Categories of components and loop-free categories.
CCD lattices in presheaf categories.
Completion of partially ordered sets
The paper considers a generalization of the standard completion of a partially ordered set through the collection of all its lower sets.
Continuous posets and adjoint sequences.
Costruzione di un universo di dispositivi ciclicamente monotoni massimali
Diameters in locales: How bad they can be
Duality for CCD lattices.
Embedding of semilattices into distributive lattices
Errata to the paper “On paracompact locales and metric locales”
Exponentiability in categories of lax algebras. (Dedicated to Nico Pumplün on the occasion of his seventieth birthday).
Extremal subobjects of complete posets
Frame Quasi-Uniformities.
Geometric and higher order logic in terms of abstract Stone duality.
Information systems in categories of valued relations.
The paper presents a categorical version of the notion of information system due to D. Scott. The notion of information system is determined in the framework of ordered categories with involution and division and the category of information systems is constructed. The essential role in all definitions and constructions play correlations between inclusion relations and entailment relations.
Minimal finite models.