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