Actualmente estoy tratando de entender la construcción de la categoría de láminas l-ádicas construibles como en SGA5, y parece que hay que pasar por bastante maquinaria (la condición MLAR, la localización de la categoría de sistemas proyectivos, etc.) antes de poder construir esta categoría y mostrar que es abeliana, por ejemplo. Por otra parte, ni siquiera es cierto que la categoría derivada de las láminas l-ádicas esté definida de manera obvia, ya que se define como un 2-límite de las categorías derivadas de $\mathbb{Z}/l^n$ gavillas construibles.
Tengo entendido que la maquinaria categórica que existe hoy en día es mucho más potente que la de los años 70, lo que me hace sentir curiosidad: ¿hay una forma más limpia y transparente de hacerlo, y una presentación más moderna que SGA o Frietag-Kiehl?
