
arXiv: 2301.05988
We prove that the category of continuous lattices and meet- and directed join-preserving maps is dually equivalent, via the hom functor to $[0,1]$, to the category of complete Archimedean meet-semilattices equipped with a finite meet-preserving action of the monoid of continuous monotone maps of $[0,1]$ fixing $1$. We also prove an analogous duality for completely distributive lattices. Moreover, we prove that these are essentially the only well-behaved "sound classes of joins $Φ$, dual to a class of meets" for which "$Φ$-continuous lattice" and "$Φ$-algebraic lattice" are different notions, thus for which a $2$-valued duality does not suffice.
16 pages; revisions from refereeing
06B35, 06D10, 18F70, 18A35, Complete distributivity, Mathematics - Category Theory, Mathematics - Logic, Mathematics - Rings and Algebras, free cocompletion, Continuous lattices and posets, applications, Frames and locales, pointfree topology, Stone duality, Rings and Algebras (math.RA), continuous lattice, FOS: Mathematics, duality, Categories admitting limits (complete categories), functors preserving limits, completions, Category Theory (math.CT), completely distributive lattice, Logic (math.LO)
06B35, 06D10, 18F70, 18A35, Complete distributivity, Mathematics - Category Theory, Mathematics - Logic, Mathematics - Rings and Algebras, free cocompletion, Continuous lattices and posets, applications, Frames and locales, pointfree topology, Stone duality, Rings and Algebras (math.RA), continuous lattice, FOS: Mathematics, duality, Categories admitting limits (complete categories), functors preserving limits, completions, Category Theory (math.CT), completely distributive lattice, Logic (math.LO)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
