Herramientas de topología algebraica para variedades