Definición, construcción y propiedades functoriales de los funtores de homología