Compact object (mathematics)
In mathematics, compact objects, also referred to as finitely presented objects, or objects of finite presentation, are objects in a category satisfying a certain finiteness condition. The terminology is inspired by (and generalized from) the concept of compactness in topology.