Showing 1–2 of 2 results for author: Rezagholi, S

Probability, valuations, hyperspace: Three monads on Top and the support as a morphism

Authors: Tobias Fritz, Paolo Perrone, Sharwin Rezagholi

Abstract: We consider three monads on Top, the category of topological spaces, which formalize topological aspects of probability and possibility in categorical terms. The first one is the Hoare hyperspace monad H, which assigns to every space its space of closed subsets equipped with the lower Vietoris topology. The second is the monad V of continuous valuations, also known as the extended probabilistic po… ▽ More We consider three monads on Top, the category of topological spaces, which formalize topological aspects of probability and possibility in categorical terms. The first one is the Hoare hyperspace monad H, which assigns to every space its space of closed subsets equipped with the lower Vietoris topology. The second is the monad V of continuous valuations, also known as the extended probabilistic powerdomain. We construct both monads in a unified way in terms of double dualization. This reveals a close analogy between them, and allows us to prove that the operation of taking the support of a continuous valuation is a morphism of monads from V to H. In particular, this implies that every H-algebra (topological complete semilattice) is also a V-algebra. Third, we show that V can be restricted to a submonad of tau-smooth probability measures on Top. By composing these two morphisms of monads, we obtain that taking the support of a tau-smooth probability measure is also a morphism of monads. △ Less

Submitted 16 September, 2021; v1 submitted 8 October, 2019; originally announced October 2019.

Comments: 65 pages

MSC Class: 28B99; 54C99; 18C15; 46M99

Journal ref: Mathematical Structures in Computer Science 31(8), 850-897 (2021)

Partially observable systems and quotient entropy via graphs

Authors: Leonhard Horstmeyer, Sharwin Rezagholi

Abstract: We consider the category of partially observable dynamical systems, to which the entropy theory of dynamical systems extends functorially. This leads us to introduce quotient-topological entropy. We discuss the structure that emerges. We show how quotient entropy can be explicitly computed by symbolic coding. To do so, we make use of the relationship between the category of dynamical systems and t… ▽ More We consider the category of partially observable dynamical systems, to which the entropy theory of dynamical systems extends functorially. This leads us to introduce quotient-topological entropy. We discuss the structure that emerges. We show how quotient entropy can be explicitly computed by symbolic coding. To do so, we make use of the relationship between the category of dynamical systems and the category of graphs, a connection mediated by Markov partitions and topological Markov chains. △ Less

Submitted 1 September, 2020; v1 submitted 1 September, 2019; originally announced September 2019.