In algebraic topology, we “know” exactly what a cohomology theory is: it is a sequence of functors satisfying the Generalized Eilenberg-Steenrod axioms. This should be compared to the situation in algebraic geometry, where it is quite unclear what a cohomology theory really is.
nLab page on Axioms in algebraic topology