Compact-Open Dualities for Stably Continuous Posets
We organize and generalize several dualities involving continuous posets. The main theorem reads $\mathbf{St}_α\mathbf{Inf}_{α'}\mathbf{Cont}_{β'}\mathbf{Sup}_β\simeq (\mathbf{St}_β\mathbf{Inf}_{β'}\mathbf{Cont}_{α'}\mathbf{Sup}_α)^{\mathrm{op}}$, where $\mathbf{St}$, $\mathbf{Inf}$, $\mathbf{Cont}$ and $\mathbf{Sup}$ refer to stability, completeness, continuity and cocompleteness. The indices are "ladders", i.e., classes of sets $λ$ stable under dependent sums and quotients, with associated notions of $λ$-small infima and $λ$-filtered suprema. In the second half of the paper, we discuss…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.03837
curl -X POST /api/v1/records/arxiv/2608.03837/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.03837/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'