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.