What do universal Turing machines, universal spin models, NP completeness, top of a preorder and denseness of a subset have in common? They are all universal in a certain (precise) sense.

arXiv:2307.06851