Enriched Stone-type dualities

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories of spans/cospans, relations, or partial maps (18B10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Logical aspects of lattices and related structures (03G10) Enriched categories (over closed or monoidal categories) (18D20) Topological representations of algebraic systems (54H10)

Abstract: A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice. Due to this fact, we can only expect dualities for categories cogenerated by the two-element set with an appropriate structure. A prime example of such a situation is Stone's duality theorem for Boolean algebras and Boolean spaces,the latter being precisely those compact Hausdorff spaces which are cogenerated by the two-element discrete space. In this paper we aim for a systematic way of extending this duality theorem to categories including all compact Hausdorff spaces. To achieve this goal, we combine duality theory and quantale-enriched category theory. Our main idea is that, when passing from the two-element discrete space to a cogenerator of the category of compact Hausdorff spaces, all other involved structures should be substituted by corresponding enriched versions. Accordingly, we work with the unit interval

[0, 1]

and present duality theory for ordered and metric compact Hausdorff spaces and (suitably defined) finitely cocomplete categories enriched in

[0, 1]

.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Enriched Stone-type dualities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1644968)