In mathematics, particularly in the field of topology, a **compact object** refers to a space that is compact in the topological sense. A topological space is said to be compact if every open cover of the space has a finite subcover.
Articles by others on the same topic
A compact object (mathematics) is an object whose represented Hom functor preserves filtered colimits. This preservation condition differs from the extra right-adjoint property defining a tiny object.