Topología de Grothendieck

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. Una categoría junto con una topología de Grothendieck en ella se llama un sitio. Esta herramienta se utiliza en teoría algebraica de números y geometría algebraica, para definir principalmente la cohomología étale de esquemas, pero también para la cohomologia playa y el cohomología cristalina. Observe que una topología de Grothendieck no es una topología en el sentido clásico.