• 📝 https://arxiv.org/abs/2605.21681
• 🎞️ https://pyxidatol-c.github.io/Atoms-finite-length-talk/lics26/?step=1

Things not mentioned in the paper:

• Corollary 7.8 probably also covers all unary structures.
• The dense meet-tree may be the more interesting structure to consider next.
• The growing list of papers (Laudone–Snowden, Ghosh–Lasota, Lopez–Ghosh) showing that K[A] is Noetherian.