The generalized doubling construction and formal concept analysis (Q1338951)

A. Day introduced the interval doubling construction to prove Whitman's structure theorem for free lattices. Here the doubling of a convex set \(C\) in a lattice \(L\) is described by an equivalent context operation in formal concept analysis, which assigns to the standard context \(\mathbb{K} (L)\) a new context \(\mathbb{K} (L) [C]\). Now, \(L(C)\), the lattice given by the doubling of the convex set \(C\), is isomorphic to the concept lattice of this new context. If the doubling of intervals starts from the two- element lattice, then the lattices become semi-distributive.