Amalgamation of pure embeddings
The author proves that for every pair of pure embeddings \(A\to B\) and \(A\to C\) in a variety V, there exist pure embeddings \(B\to D\) and \(C\to D\) so that the resulting diagram is commutative.
scientific article; zbMATH DE number 3875363