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.
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