-spaces and the Wallman compactification.
We define “the category of compactifications”, which is denoted CM, and consider its family of coreflections, denoted corCM. We show that corCM is a complete lattice with bottom the identity and top an interpretation of the Čech–Stone . A corCM implies the assignment to each locally compact, noncompact a compactification minimum for membership in the “object-range” of . We describe the minimum proper compactifications of locally compact, noncompact spaces, show that these generate the atoms...
Categories whose Yoneda embedding has a left adjoint are known as total categories and are characterized by a strong cocompleteness property. We introduce the notion of multitotal category by asking the Yoneda embedding to be right multiadjoint and prove that this property is equivalent to totality of the formal product completion of . We also characterize multitotal categories with various types of generators; in particular, the existence of dense generators is inherited by the formal product...