El proceso que asocia a un prefaisceau el faisceau más cercano que coincide con él en los gérmenes, imponiendo los axiomas de localidad y pegado; el resultado se llama faisceau asociado o faisceautización aF.

Principio

La faisceautización es adjunta por la izquierda al funtor de inclusión de faisceaux en prefaisceaux: universaliza la imposición de los axiomas de faisceau, produciendo el faisceau mínimo que recibe un morfismo desde el prefaisceau.

Demostración

Ejemplo: dado un prefaisceau de funciones en abiertos que incumple la condición de pegado, la faisceautización sustituye cada sección por sus gérmenes y pega gérmenes compatibles para formar secciones del faisceau asociado; a nivel de gérmenes el prefaisceau y su faisceautización coinciden.

Aplicación incorrecta

Aplicar un reemplazo ingenuo punto por punto sin formar gérmenes y comprobar compatibilidades puede producir objetos que no son faisceaux o que alteran el comportamiento de los gérmenes; omitir la verificación de la propiedad universal identifica mal el faisceau asociado.

Consecuencia

La faisceautización proporciona un reflector: todo morfismo desde el prefaisceau hacia un faisceau factoriza de forma única por el faisceau asociado, permitiendo aplicar métodos faisceautísticos (cohomología, argumentos local-a-global) a datos que no eran faisceaux.

Inversión

La perspectiva dual consiste en olvidar la condición de faisceau para ver un faisceau como un mero prefaisceau; esta inversión elimina las restricciones de pegado y pierde la propiedad universal de reflexión que ofrece la faisceautización.

Límite

Se aplica a sitios y espacios topológicos con prefaisceaux con valores en una categoría que admita los colímites relevantes; la faisceautización depende de la cobertura subyacente y no produce resultados significativos para asignaciones sin datos de localidad.

Tensión semántica

Tensión entre construcciones concretas (gérmenes, construcción plus mediante prefaisceau separado y luego faisceautización) y la visión abstracta de adjunción/reflector; centrarse solo en una oculta el cálculo práctico o el significado universal.

Síntesis

La faisceautización es el proceso reflexivo que convierte datos locales en datos de faisceau globalmente compatibles: preserva gérmenes, impone el pegado y proporciona el faisceau mínimo por el que cualquier morfismo prefaisceau→faisceau se factoriza.