English

Compact-Open Dualities for Stably Continuous Posets

Logic 2026-08-04 v1

Abstract

We organize and generalize several dualities involving continuous posets. The main theorem reads StαInfαContβSupβStβInfβContαSupαop\mathbf{St}_\alpha\mathbf{Inf}_{\alpha'}\mathbf{Cont}_{\beta'}\mathbf{Sup}_\beta \simeq \mathbf{St}_\beta\mathbf{Inf}_{\beta'}\mathbf{Cont}_{\alpha'}\mathbf{Sup}_\alpha^{\mathrm{op}}, where St\mathbf{St}, Inf\mathbf{Inf}, Cont\mathbf{Cont} and Sup\mathbf{Sup} refer to stability, completeness, continuity and cocompleteness. The indices are "ladders", i.e., classes of sets λ\lambda stable under dependent sums and quotients, with associated notions of λ\lambda-small infima and λ{\lambda}-filtered suprema. In the second half of the paper, we discuss algebraicity, proximity lattices and perfect maps.

Cite

@article{arxiv.2608.03837,
  title  = {Compact-Open Dualities for Stably Continuous Posets},
  author = {Jérémie Marquès},
  journal= {arXiv preprint arXiv:2608.03837},
  year   = {2026}
}

Comments

21 pages