Definition 10.4.4 (Local systems and trivializations). A local system of \(R\)-lines on an anima \(A\) is a functor \(\xi \colon A \to \Line _R\). A trivialization of \(\xi \) is an isomorphism \(\xi \cong R_A\), where \(R_A\) is the constant functor with value \(R\).
Generated from the authoritative LaTeX source.