We construct two dcpo's whose Scott spaces are sober, but the Scott space of their order product is not sober. This answers an open problem on the sobriety of Scott spaces. Meantime, we show that if M and N are special type of sober complete lattices, then the Scott space of their order product M× N is sober.
No takes yet. Share an insight, caveat, or question.
Miao et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: