Algebraic topology of finite topological spaces and applications.