We prove a number of results of the following common flavor: for a category C of topological or uniform spaces with all manner of other properties of common interest (separation / completeness / compactness axioms), a group (or monoid) G equipped with various types of topological structure (topologies, uniformities) and the corresponding category CG of appropriately compatible G-flows in C, the forgetful functor CG→ C is monadic. In all cases of interest the domain category CG is also cocomplete, so that results on adjunction lifts along monadic functors apply to provide equivariant completion and/or compactification functors. This recovers, unifies and generalizes a number of such results in the literature due to de Vries, Mart'yanov and others on existence of equivariant compactifications / completions and cocompleteness of flow categories.
No takes yet. Share an insight, caveat, or question.
Alexandru Chirvăsitu (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: