Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational

Source URL: www.monad.me.uk

Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational

Source URL: www.paultaylor.eu

• Functions and mappings
• Theoretical computer science
• Formal methods
• Models of computation
• Model theory
• Symbol
• Lambda calculus
• Interpretation
• Primitive recursive function
• Mathematics
• Mathematical logic
• Computability theory

1 A dummy first page If you want to print 2-up, run of from page 2 (the next page).

Source URL: www.cs.man.ac.uk

• Topological spaces
• Sober space
• Cofiniteness
• Pointless topology
• Grothendieck topology
• Regular space
• Kolmogorov space
• Hausdorff space
• Open set
• Topology
• General topology
• Separation axioms

Generic Point. Eric Brussel, Emory University We define and prove the existence of generic points of schemes, and prove that the

Source URL: www.mathcs.emory.edu

• General topology
• Algebraic geometry
• Scheme theory
• Prime ideals
• Commutative algebra
• Irreducible component
• Generic point
• Spectrum of a ring
• Sober space
• Abstract algebra
• Topology
• Algebra

PDF Document

Source URL: www.mathematik.tu-darmstadt.de

• Separation axioms
• Hausdorff space
• Sober space
• Finite topological space
• Trivial topology
• Cofiniteness
• Product topology
• Kolmogorov space
• Compact space
• Topology
• General topology
• Topological spaces