Formalmente, una topología de Grothendieck en "C" es dada especificando para cada objeto "U" de "C" familias de morfismos {φ: "V" formula_1 "U"} , llamadas "familias cubridoras de U", tal que los axiomas siguientes son satisfechos: