%0 Book Section %1 borchmann2009concept %A Borchmann, Daniel %A Ganter, Bernhard %B Formal Concept Analysis %D 2009 %I Springer %K %P 22--37 %T Concept Lattice Orbifolds--First Steps %U http://link.springer.com/chapter/10.1007/978-3-642-01815-2_2 %X 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 üp to isomorphisms". 1

@incollection{borchmann2009concept, abstract = {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". 1}, added-at = {2023-12-13T10:07:59.000+0100}, author = {Borchmann, Daniel and Ganter, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/2a917f809ea4accde2471b2862951ac07/admin}, booktitle = {Formal Concept Analysis}, citations = {3}, citedbyid = {10390406429307935070}, file = {file://Concept Lattice Orbifolds – First Steps.pdf:pdf}, interhash = {d526f70f97c8f2628cef9c6286fd7464}, intrahash = {a917f809ea4accde2471b2862951ac07}, keywords = {}, md5sum = {92922f1521858986ea4208b1120001f0}, pages = {22--37}, pdfmeat = {timestamp: 2013-08-04 16:32:07; queries: 2; inode: 1703942}, publisher = {Springer}, timestamp = {2023-12-13T10:07:59.000+0100}, title = {Concept Lattice Orbifolds--First Steps}, url = {http://link.springer.com/chapter/10.1007/978-3-642-01815-2_2}, year = 2009 }