coherent sheaf
finite-type sheaf F of modules over a ringed space such that the kernel of a surjective morphism from a finite direct sum of the structure sheaf onto it is also of finite type
en-GB/kəˈhɪəɹənt ˈʃiːf/
en-US/koʊˈhɪɹənt ˈʃif/
finite-type sheaf F of modules over a ringed space such that the kernel of a surjective morphism from a finite direct sum of the structure sheaf onto it is also of finite type