Amalgamating poset extensions and generating free lattices
arXiv:1907.08964
Abstract
We investigate connections between the free lattice generated by a poset while preserving certain bounds and the canonical extension of a poset. Explicitly, we describe how the free lattice generated by a poset while preserving certain bounds can be constructed as a colimit of `intermediate structures' as they occur in the construction of a canonical extension of a poset.
arXiv commentVersion 2 is significantly rewritten and streamlined