On sobriety of Scott topology on dcpos
Abstract
In this paper, we mainly investigate the conditions under which the Scott topology on the product of two posets is equal to the product of the individual Scott topologies and under which the Scott topology on a dcpo is sober. Some such conditions are given.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.