114,256 research outputs found
Coexistence in interval effect algebras
Motivated by the notion of coexistence of effect-valued observables, we give
a characterization of coexistent subsets of interval effect algebras
Enriched Stone-type dualities
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
and present duality theory for ordered and metric compact Hausdorff
spaces and (suitably defined) finitely cocomplete categories enriched in
- …