Algebraic Topology of Finite Topological Spaces and