Definición, contravariancia y construcción de los funtores de cohomología