En teoría de categorías, una rama de las matemáticas, una topología de Grothendieck es una estructura definida en una categoría arbitraria "C" que permita la definición de haces en "C", y con ésa la definición de las teorías generales de cohomología.