Solutions of functorial and non-functorial metric domain equations
نویسندگان
چکیده
A new method for solving domain equations in categories of metric spaces is studied. The categories CMS≈ and KMS≈ are introduced, having complete and compact metric spaces as objects and -adjoint pairs as arrows. The existence and uniqueness of fixed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered as pseudo-metric spaces, and it is shown how to solve domain equations in a non-categorical framework.
منابع مشابه
Solutions of Functorial and Non-functorial Metric Domain Equations 1
A new method for solving domain equations in categories of metric spaces is studied. The categories CMS and KMS are introduced, having complete and compact metric spaces as objects and-adjoint pairs as arrows. The existence and uniqueness of xed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered as pseudo-metric s...
متن کاملFunctorial Equations for Lexicographic Products
We generalize the main result of [K–K–S] concerning the convex embeddings of a chain Γ in a lexicographic power ∆Γ. For a fixed non-empty chain ∆, we derive necessary and sufficient conditions for the existence of non-empty solutions Γ to each of the lexicographic functorial equations (∆) ' Γ , (∆) ' Γ and (∆) ' Γ .
متن کاملElgot Theories: A New Perspective of Iteration Theories (Extended Abstract)
The concept of iteration theory of Bloom and Ésik summarizes all equational properties that iteration has in usual applications, e.g., in Domain Theory where to every system of recursive equations the least solution is assigned. However, this assignment in Domain Theory is also functorial. Yet, functoriality is not included in the definition of iteration theory. Pitty: functorial iteration theo...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملFunctorial Properties of the Hypergeometric Map E. Mukhin and A. Varchenko
The quantized Knizhnik-Zamolodchikov equation is a difference equation defined in terms of rational R matrices. We describe all singularities of hypergeometric solutions to the qKZ equations.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 1 شماره
صفحات -
تاریخ انتشار 1995