We observe that several definitions in a first course on general topology, such as Hausdorff, dense, T_0, T_1, admit an easy reformulation as computations with partial pre-orders of category theoretic nature. Namely, these computations correspond to rules for manipulating commutative diagrams involving only finite topological spaces as constants (and variables). We suggest a sketch of a calculus based on these rules.