La terminología tiende a ocultar el hecho que en muchas aplicaciones la "cohomología", una teoría contravariante, es más natural que una "homología".