Un morfismo desde el fibrado vectorial π-módulos; esta última categoría es abeliana, así que aquí es donde podemos calcular núcleos de morfismos de fibrados vectoriales.