State Transitions as Morphisms for Complete Lattices
نویسندگان
چکیده
We enlarge the hom-sets of categories of complete lattices by introducing ‘state transitions’ as generalized morphisms. The obtained category will then be compared with a functorial quantaloidal enrichment and a contextual quantaloidal enrichment that uses a specific concretization in the category of sets and partially defined maps (Parset).
منابع مشابه
Categorial Background for Duality Theory
In the paper, we develop the notation of lattice-wise categories as concrete categories (see [10]) of lattices. Namely, the categories based on [24] with lattices as objects and at least monotone maps between them as morphisms. As examples, we introduce the categories UPS, CONT, and ALG with complete, continuous, and algebraic lattices, respectively, as objects and directed suprema preserving m...
متن کاملSome results on $L$-complete lattices
The paper deals with special types of $L$-ordered sets, $L$-fuzzy complete lattices, and fuzzy directed complete posets.First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $L$-fuzzy complete lattice is obtained, and it's proved that if $f$ is a monotone map on an $L$-fuzzy complete lattice $(P;e)$, then the least fixpoint of $f$ is meet of a spe...
متن کاملAnother Approach to Topological Descent Theory
In the category Top of topological spaces and continuous functions we prove that descent morphisms with respect to the class IE of continuous bijections are exactly the descent mor phisms providing a new characterization of the latter in terms of sub brations IE X of the basic bration given by Top X which are essentially complete lattices Also e ective descent morphisms are characterized in ter...
متن کاملAlgebraic duality for partially ordered sets
For an arbitrary partially ordered set P its dual P ∗ is built as the collection of all monotone mappings P → 2 where 2 = {0, 1} with 0 < 1. The set of mappings P ∗ is proved to be a complete lattice with respect to the pointwise partial order. The second dual P ∗∗ is built as the collection of all morphisms of complete lattices P ∗ → 2 preserving universal bounds. Then it is proved that the pa...
متن کاملState property systems and closure spaces: a study of categorical equivalence
We show that the natural mathematical structure to describe a physical entity by means of its states and its properties within the Geneva-Brussels approach is that of a state property system. We prove that the category of state property systems (and morphisms), SP, is equivalent to the category of closure spaces (and continuous maps), Cls. We show the equivalence of the ‘state determination axi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999