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
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).