Abstract:We present a generic construction of finite realisations of amalgamation patterns. An amalgamation pattern is specified by a finite collection of finite template structures together with a collection of partial isomorphisms between them. A realisation is a globally consistent solution to the locally consistent specification of this amalgamation problem: this is a single structure equipped with an atlas of distinguished substructures associated with the template structures, their overlaps realising precisely the identifications induced by the given partial isomorphisms. Our construction is based on natural reduced products with suitable groupoids. The resulting realisations are generic in the sense that they can be made to preserve all symmetries of the specification. They can also be made to be universal w.r.t.\ to local homomorphisms up to any specified size. As key applications of the main construction we discuss finite hypergraph coverings of specified levels of acyclicity and a new route to the lifting of local symmetries to global automorphisms in finite structures.

Weak saturation and weak amalgamation property

Saturation and solvability in abstract elementary classes with amalgamation

Remarks on combinatorial and accessible model categories

More on Weak Diamond

The strong amalgamation property into union

Weak exactness and amalgamated free product of von Neumann algebras

Amalgamation in Semilinear Residuated Lattices

Wiener-Luxemburg amalgam spaces

Köthe Amalgams: The Ideal Type of Infinite Direct Sums

Positive Amalgamation

Symmetry in abstract elementary classes with amalgamation

Pairs of partial orders and the amalgamation property

Weakly approximable triangulated categories and enhancements: a survey

The weak Ramsey property and extreme amenability

Weakly Connes amenable dual Banach algebras

Combining Combination Properties: Minimal Models

The Amalgamation Property for automorphisms of ordered abelian groups

An Uncountably Categorical Theory Whose Only Computably Presentable Model is Saturated.

Amalgamation and Symmetry: From Local to Global Consistency in The Finite

Approximations of superstability in concrete accessible categories

Formal model theory and higher topology