T0-spaces

Abbreviation: Top₀

Definition

A T₀-space is a topological space X = (X,Ω(X)) such that
for every pair of distinct points in the space, there is an open set containing one but not the other:   x,y ∈ X  ⇒  ∃U ∈ Ω(X)[(x ∈ U and y ∉ U) or (y ∈ U and x ∉ U)].

Morphisms

Let X and Y be T₀-spaces. A morphism from X to Y is a function f : X→Y that is continuous: V ∈ Ω(Y)  ⇒  f⁻¹[V] ∈ Ω(X).

Some results

Examples

Properties

Remark: The properties given above use an (E,M) factorization system with E =  surjective morphisms and M =  embeddings.

Subclasses

Superclasses

References

http://www.wikipedia.org/wiki/Topology_glossary