Una categoría junto con una topología de Grothendieck en ella se llama un sitio.