Abstract:We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a concise combinatorial notation such that complete definitions of connectedness, compactness, contractibility, having a generic point, subspace, closed subspace, fit into $2$ or $4$ bytes. This notation is homotopy theoretic in nature, and is based on the following observation: A number of basic properties of continuous maps and topological spaces are defined using a single category-theoretic operation, taking left or right orthogonal complement with respect to the Quillen lifting property, repeatedly applied to a simple example illustrating the definition or its failure. Moreover, for most of these definitions this example can be chosen to be a map of finite topological spaces (=preorders) of size at most $5$. This includes the properties of a space being connected, compact, contractible, discrete, having a generic point, and a map having dense image, being the inclusion of an (open or closed) subspace, or of a component into a disjoint union, and others. Our reformulations illustrate the generative power of the lifting property as a means of defining basic mathematical properties starting from their simplest or typical example. The exposition is accessible to a student.

The Shape of Compact Covers

The Shape Of Compact Covers

Directed Sets of Topology -- Tukey Representation and Rejection

Notes on Remainders of Topological Spaces in Some Compactifications

Topological Characterizations for Three Covering Approximation Operators

Compactifications Defined by Arrangements, I: the Ball Quotient Case

The topological structure of the space of fuzzy compacta

On Almost Countably Compact Spaces

Coarser Compact Topologies

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

On compact subsets of the plane

On Countably $α$-Compact Topological Spaces

Relative sectional number and the coincidence property

Compact subspaces of the space of separately continuous functions with the cross-uniform topology

Finite-index phenomena and the topology of bundle singularities

On Compactly-Fibered Coset Spaces

Cardinal Properties of the Space of Quasicontinuous Functions under Topology of Uniform Convergence on Compact Subsets

Compactification of cut-point spaces

Compactness of Kähler Metrics with Bounds on Ricci Curvature and $${\mathcal {I}}$$ Functional

Compact monotone tall complexity one $T$-spaces

Finite combinatorics implicit in the basic definitions of topology