Ultraproducts of étale cohomology provide a large family of Weil cohomology theories for algebraic varieties. Their properties are closely related to questions of l-independence and torsion-freeness of l-adic cohomology. I will present recent progress in ultraproduct cohomology with coefficients, such as the decomposition theorem. This talk is based on joint work with Anna Cadoret.