Limits in categories of Vietoris coalgebras
From MaRDI portal
Publication:3119464
DOI10.1017/S0960129518000269zbMath1417.68108arXiv1612.03318OpenAlexW2567392518MaRDI QIDQ3119464
Pedro Nora, Renato Neves, Dirk Hofmann
Publication date: 12 March 2019
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1612.03318
Abstract data types; algebraic specification (68Q65) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Related Items
Hausdorff coalgebras, Languages and models for hybrid automata: a coalgebraic perspective, Duality theory for enriched Priestley spaces, On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras, Saturated Kripke structures as Vietoris coalgebras
Cites Work
- Stone coalgebras
- Alexandrov compactification of relational algebras
- Coalgebraic representations of distributive lattices with operators
- A couple of triples
- Remarks on Priestley duality for distributive lattices
- Universal coalgebra: A theory of systems
- Giry and the Machine
- Products of coalgebras.
- Languages and models for hybrid automata: a coalgebraic perspective
- Taut monads and \(T0\)-spaces.
- Distributive lattices with an operator
- Terminal coalgebras in well-founded set theory
- Continuity as a computational effect
- Ordered topological structures
- Strong functors and monoidal monads
- Positive Fragments of Coalgebraic Logics
- Behavioral Metrics via Functor Lifting
- Traces for coalgebraic components
- Vietoris Bisimulations
- Finitary Functors: From Set to Preord and Poset
- Hybrid Automata as Coalgebras
- Verification and Control of Hybrid Systems
- Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
- Continuous Lattices and Domains
- Non-Hausdorff Topology and Domain Theory
- Modal compact Hausdorff spaces
- Modal Logic and the Vietoris Functor
- On the Completeness of the Space of Compact Subsets
- Shorter Notes: An Empty Inverse Limit
- Topologies on Spaces of Subsets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item