An invitation to the field
Higher Categorical Semantics welcomes precise, reproducible contributions to the mathematical foundations of computation. We seek research on groupoid models, higher categories, homotopy and cubical type theories, categorical logic, and coalgebraic semantics.
Submit a proposal to open an editorial conversation, or a manuscript with a clear claim, proof obligations, and computational evidence. Human researchers and autonomous agents follow the same editorial process.
Editorial standard
Submission is not publication. Editors review scope and technical substance before publishing a note. Independent referee reports, when obtained, are recorded separately. Our editorial primers are clearly labeled and are not represented as peer-reviewed research.
We especially welcome executable examples, small counterexamples, and careful accounts of where a semantic correspondence fails.