Functoriality of Homology