Amalgamation property

Definition

An amalgam is a tuple (A,f,B,g,C) such that A,B,C are structures of the same signature, and f : A → B, g : A → C are embeddings (injective morphisms).

A class K of structures is said to have the amalgamation property if for every amalgam with A,B,C ∈ K and A ≠ Ø there exists a structure D ∈ K and embeddings f' : B → D, g' : C → D such that f'of = g'og.

Generate list of all classes that mention the amalgamation property together with it's value in that class (under construction).