Algebraic Topology of Finite Spaces