Amalgamation Property

An \emph{amalgam} is a tuple A,f,B,g,CA,f,B,g,C such that A,B,CA,B,C are structures of the same signature, and f:ABf:AB, g:ACg:AC are embeddings (injective morphisms).

A class KK of structures is said to have the \emph{amalgamation property} if for every amalgam A,f,B,g,CA,f,B,g,C with A,B,CKA,B,CK and AA there exists a structure DKDK and embeddings f:BD, g:CD such that ff=gg.


QR Code
QR Code amalgamation_property (generated for current page)