Failure of Finite Presentation
Definition
A phenomenon in which an algebraic object (an algebra, module, functor, scheme, or similar) cannot be described by finitely many generators together with finitely many relations; equivalently, it is not isomorphic to a quotient of a finitely generated free object by a finitely generated ideal of relations.