Initial morphisms versus embeddings (Q702202)

In the context of topological categories various ``completions'' of objects \(X\) can be obtained naturally in 2 steps: First, an initial map \(f\colon X\rightarrow Y\) from \(X\) into a complete object \(Y\) is constructed. Next, by a slight modification, an embedding \(f^\ast\colon X\rightarrow Y^\ast\) into a complete space is obtained. The authors give a categorical analysis of the second step and expose it as a bicoreflection.