Concept Lattice Orbifolds – First Steps
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 folded diagram as informative as the original one. The folding procedure can be extended to formal contexts.
A typical situation where such lattice foldings are useful is when hierarchies of structures are considered “up to isomorphisms”.
Unable to display preview. Download preview PDF.
- 1.Behrisch, M.: Personal communication (2006)Google Scholar
- 4.The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.4.12 (2008), http://www.gap-system.org
- 7.Sloane, N.J.A.: The On-Line Encyclopedia of Integer Sequences. Sequences A102896 and A108799, http://www.research.att.com/~njas/sequences/A108799
- 8.Zickwolff, M.: Rule Exploration: First Order Logic in Formal Concept Analysis. Dissertation, Darmstadt (1991)Google Scholar