Compact Object

Let $C$ be a category. An object $X:C$ is compact if the functor $C(X,-):C\to\mathrm{Sets}$ preserves Filtered Colimits.

References

• https://ncatlab.org/nlab/show/compact+object