A viewpoint on amalgamation classes

Abstract

We provide a self-contained introduction to the classical theory of universal-homogeneous models (also known as generic structures, rich models, or Fraïssé limits). In the literature, most treatments restrict consideration to embeddings among finite structures. This is not suitable for some applications. We take the notion of morphisms as primitive and we allow structures to have arbitrary cardinality.