Similar Items: The Sierpinski Object in the Scott Realizability Topos
- Topological Scott Convergence Theorem
- Axioms for Modelling Cubical Type Theory in a Topos
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- TopoChronia: A QGIS plugin for the creation of fully quantified palaeogeographic maps
- The Synthetic Sierpiński Cone
- Uniqueness of directed complete posets based on Scott closed set lattices