Related papers: Power structures of directed spaces
Hyperspaces form a powerful tool in some branches of mathematics: lots of fractal and other geometric objects can be viewed as fixed points of some functions in suitable hyperspaces - as well as interesting classes of formal languages in…
With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…
We develop the theory of continuous and algebraic domains in constructive and predicative univalent foundations, building upon our earlier work on basic domain theory in this setting. That we work predicatively means that we do not assume…
We develop a denotational model for probabilistic and concurrent imperative programs, a class of programs with standard control flow via conditionals and while-loops, as well as probabilistic actions and parallel composition. Whereas…
Strong Scott topology introduced by X. Xu and D. Zhao is a kind of new topology which is finer than upper topology and coarser than Scott topology. Inspired by the topological characterizations of continuous domains and hypercontinuous…
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…
We introduce a notion of a noncommutative function defined on a domain of $d$-tuples of bounded operators on an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these…
In this paper we revise and simplify the notion of observationally induced algebra introduced by Simpson and Schroeder for the purpose of modelling computational effects in the particular case where the ambient category is given by…
In this paper we develop some combinatorial models for continuous spaces. In this spirit we study the approximations of continuous spaces by graphs, molecular spaces and coordinate matrices. We define the dimension on a discrete space by…
We observe that some natural mathematical definitions are lifting properties relative to simplest counterexamples, namely the definitions of surjectivity and injectivity of maps, as well as of being connected, separation axioms $T_0$ and…
This paper studies ways to represent an ordered topological vector space as a space of continuous functions, extending the classical representation theorems of Kadison and Schaefer. Particular emphasis is put on the class of semisimple…
The vector space of the multi-indexed sequences over a field and the vector space of the sequences with finite support are dual to each other, with respect to a \textit{scalar product}, which we used to define \textit{orthogonals} in these…
In order to gain a better understanding of the state space of programs, with the aim of making their verification more tractable, models based on directed topological spaces have been introduced, allowing to take in account equivalence…
It is shown that for every positive integer $n$ there exists a subnormal weighted shift on a directed tree (with or without root) whose $n$th power is densely defined while its $(n+1)$th power is not. As a consequence, for every positive…
We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that…
We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…
The purpose of this paper is twofold. Firstly, the new matrix domains are constructed with the new infinite matrices and some properties are investigated. Furthermore, dual spaces of new matrix domains are computed and matrix…
The Bregman proximal mapping and Bregman-Moreau envelope are traditionally studied for functions defined on the entire space $\mathbb{R}^n$, even though these constructions depend only on the values of the function within (the interior of)…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
By means of a new technique, we develop further a discrete subordination approach to the functional calculus of power bounded and Ritt operators initiated by N. Dungey in [19]. This allows us to show, in particular, that (infinite) convex…