Also known as projective limit, downward-directed limit
construction to "glue together" mathematical objects along a downward-directed set
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).