Separation axioms as lifting properties
Abstract
We observe that many of the separation axioms of topology (including T0-T4) can be expressed concisely and uniformly in terms of category theory as lifting properties (in the sense of Quillen model categories) with respect to (usually open) continuous maps of finite spaces (involving up to 4 points) and the real line.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.