Ontify
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.