Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/28977
Title: | Limits in categories of Vietoris coalgebras |
Author: | Hofmann, Dirk Neves, Renato Nora, Pedro |
Keywords: | Coalgebra Topological space Stably compact Vietoris space Codirected limit |
Issue Date: | Apr-2019 |
Publisher: | Cambridge University Press |
Abstract: | 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 prove that every Vietoris polynomial functor admits a final coalgebra if it respects certain conditions concerning separation axioms and compactness. When the functor is restricted to some of the categories induced by these conditions the resulting categories of coalgebras are even complete. As a practical application, we use these developments in the specification and analysis of non-deterministic hybrid systems, in particular to obtain suitable notions of stability, and behaviour. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/28977 |
DOI: | 10.1017/S0960129518000269 |
ISSN: | 0960-1295 |
Appears in Collections: | CIDMA - Artigos AGG - Artigos DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
coalgebras.pdf | 618.04 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.