Cocompact embedding

Cocompact embedding is a concept from the field of algebraic topology and geometry, particularly in the study of groups and their actions on spaces. It refers to a specific type of embedding of a space into a larger topological space that has certain properties related to compactness and completeness. In more technical terms, a cocompact embedding usually involves a situation where a group acts on a space in such a way that the quotient of the space by the group action is compact.