Algebraic topology: Introduction