Dualities for modal algebras from the point of view of triples

DOI10.1007/s00012-015-0324-5zbMath1431.18004arXiv1302.5609OpenAlexW2075776862MaRDI QIDQ2351511

Dirk Hofmann, Pedro Nora

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

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Special categories (18B99) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Topological representations of algebraic systems (54H10) Categories of spans/cospans, relations, or partial maps (18B10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items

Enriched Stone-type dualities

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