In this paper we consider the classes of all continuous $\mathcal {L}$-(pre-)structures for a continuous first-order signature $\mathcal {L}$. We characterize the moduli of continuity for which the classes of finite, countable, or all continuous $\mathcal {L}$-(pre-)structures have the amalgamation property. We also characterize when Urysohn continuous $\mathcal {L}$-(pre)-structures exist, establish that certain classes of finite continuous $\mathcal {L}$-structures are countable Fraïssé classes, prove the coherent EPPA for these classes of finite continuous $\mathcal {L}$-structures, and show that actions by automorphisms on finite $\mathcal {L}$-structures also form a Fraïssé class. As consequences, we have that the automorphism group of the Urysohn continuous $\mathcal {L}$-structure is a universal Polish group and that Hall’s universal locally finite group is contained in the automorphism group of the Urysohn continuous $\mathcal {L}$-structure as a dense subgroup.

We present three examples of countable homogeneous structures (also called Fraïssé limits) whose automorphism groups are not universal, namely, fail to contain isomorphic copies of all automorphism groups of their substructures.

Our first example is a particular case of a rather general construction on Fraïssé classes, which we call diversification, leading to automorphism groups containing copies of all finite groups. Our second example is a special case of another general construction on Fraïssé classes, the mixed sums, leading to a Fraïssé class with all finite symmetric groups appearing as automorphism groups and at the same time with a torsion-free automorphism group of its Fraïssé limit. Our last example is a Fraïssé class of finite models with arbitrarily large finite abelian automorphism groups, such that the automorphism group of its Fraïssé limit is again torsion-free.

We develop Fraïssé theory, namely the theory of Fraïssé classes and Fraïssé limits, in the context of metric structures. We show that a class of finitely generated structures is Fraïssé if and only if it is the age of a separable approximately homogeneous structure, and conversely, that this structure is necessarily the unique limit of the class, and is universal for it.

We do this in a somewhat new approach, in which “finite maps up to errors” are coded by approximate isometries.