Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Nora, Pedro"'
While behavioural equivalences among systems of the same type, such as Park/Milner bisimilarity of labelled transition systems, are an established notion, a systematic treatment of relationships between systems of different type is currently missing.
Externí odkaz:
http://arxiv.org/abs/2410.14460
Generic notions of bisimulation for various types of systems (nondeterministic, probabilistic, weighted etc.) rely on identity-preserving (normal) lax extensions of the functor encapsulating the system type, in the paradigm of universal coalgebra. It
Externí odkaz:
http://arxiv.org/abs/2410.14440
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula. Numerous va
Externí odkaz:
http://arxiv.org/abs/2207.09187
Behavioural distances measure the deviation between states in quantitative systems, such as probabilistic or weighted systems. There is growing interest in generic approaches to behavioural distances. In particular, coalgebraic methods capture variat
Externí odkaz:
http://arxiv.org/abs/2202.07069
Publikováno v:
Mathematical Structures in Computer Science. 2023:1-30
Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between lax exten
Externí odkaz:
http://arxiv.org/abs/2112.12681
Autor:
Hofmann, Dirk, Nora, Pedro
The term Stone-type duality often refers to a dual equivalence between a category of lattices or other partially ordered structures on one side and a category of topological structures on the other. This paper is part of a larger endeavour that aims
Externí odkaz:
http://arxiv.org/abs/2009.02303
Autor:
Hofmann, Dirk, Nora, Pedro
As composites of constant, (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of $\mathsf{Set}$-functors in the theory of coalgebras. The main goal of this paper is to expand the theory of limits in categor
Externí odkaz:
http://arxiv.org/abs/1908.04380
Autor:
Hofmann, Dirk, Nora, Pedro
Publikováno v:
In Journal of Pure and Applied Algebra March 2023 227(3)
It is known since the late 1960's that the dual of the category of compact Hausdorff spaces and continuous maps is a variety -- not finitary, but bounded by $\aleph_1$. In this note we show that the dual of the category of partially ordered compact s
Externí odkaz:
http://arxiv.org/abs/1706.05292
Publikováno v:
Math. Struct. Comp. Sci. 29 (2019) 552-587
Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topological analogue of a Kripke polynomial functor. Among other results, we pr
Externí odkaz:
http://arxiv.org/abs/1612.03318