Dualities for modal algebras from the point of view of triples
From MaRDI portal
Publication:2351511
DOI10.1007/s00012-015-0324-5zbMath1431.18004arXiv1302.5609MaRDI QIDQ2351511
Publication date: 23 June 2015
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1302.5609
03G30: Categorical logic, topoi
18B99: Special categories
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
54H10: Topological representations of algebraic systems
18B10: Categories of spans/cospans, relations, or partial maps
18C20: Eilenberg-Moore and Kleisli constructions for monads
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stone coalgebras
- Coalgebraic representations of distributive lattices with operators
- Topology and duality in modal logic
- A partially ordered space which is not a Priestley space
- A couple of triples
- Remarks on Priestley duality for distributive lattices
- What is concrete equivalence?
- Generalized join-hemimorphisms on Boolean algebras
- Distributive lattices with an operator
- The enriched Vietoris monad on representable spaces
- Ordered topological structures
- Eine Bemerkung über Monaden und adjungierte Funktoren
- Duality in analysis from the point of view of triples
- Continuous domains in logical form
- Stably compact spaces
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Einige Bemerkungen über der Raum der abgeschlossenen Mengen
- Representation of Distributive Lattices by means of ordered Stone Spaces
- The Theory of Representation for Boolean Algebras
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators