References & Citations
Mathematics > Category Theory
Title: Enriched Stone-type dualities
(Submitted on 30 Apr 2016 (v1), last revised 31 Mar 2017 (this version, v2))
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]$.
Submission history
From: Dirk Hofmann [view email][v1] Sat, 30 Apr 2016 09:13:37 GMT (36kb)
[v2] Fri, 31 Mar 2017 15:00:49 GMT (45kb)
Link back to: arXiv, form interface, contact.