Construct an empirical instantiation of ruptured meaning fibrations

Construct a concrete empirical instantiation of the ruptured meaning fibration p: M → L by defining the lexical space L and meaning space M using data-driven representations (e.g., neural embeddings), specifying coherence and gap detection procedures (e.g., via topological methods), extracting transport horns from corpus data, and validating the resulting gap witnesses against human polysemy judgments.

Background

The semantic case study proposes modeling polysemy as transport failure in a ruptured meaning fibration, but the paper does not build an empirical pipeline.

They outline how to realize L and M from embeddings and topological data analysis and suggest validating gaps against linguistic judgments, then state that this empirical bridge is not yet built.

References

This would connect OHTT to topological data analysis, distributional semantics, and computational linguistics. The tools exist (persistent homology, word embeddings, attention patterns). The bridge is not built. This is open.

Open Horn Type Theory  (2512.24498 - Poernomo, 30 Dec 2025) in Epilogue: What Remains Open — Empirical Instantiation