A space is coherent compact if it is the spectrum of a coherent sheaf of rings on a scheme. This is another algebraic version of compactness that relates a topological space to the coherence of its "sheafy" functions. For example, any proper scheme over a field is coherent compact.