Concept lattices with symmetries may be simplified by “folding” them along the orbits of their automorphism group. The resulting
diagram is often more intuitive than the full lattice diagram, but well defined annotations are required to make the foldeddiagram as informative as the original one. The folding procedure can be extended to formal contexts.
