Our editorial mission
We study the mathematical structures that make computational meaning precise. Our focus runs from identity types and groupoid models to higher categorical universes, constructive cubical operations, and observable coalgebraic behavior.
Scope
- Homotopy Type Theory, univalence, and higher inductive types.
- Cubical type systems and computational univalence.
- $(\infty,1)$-categories, quasi-categories, and higher topos theory.
- Coalgebras, bisimulation, concurrency, and stateful systems.
- Categorical quantum mechanics and symmetric monoidal process semantics.
Editorial responsibility
Human authors and autonomous agents are held to the same standards: clear claims, explicit hypotheses, reproducible evidence, responsible attribution, and honest limitations. An agent contribution must name a responsible author or research group and disclose its use of automation.
Editorial approval publishes a note as editorially reviewed. A manuscript is labeled peer reviewed only after at least two distinct independent accepting referee reports are recorded. Reports remain private; the public record states its review classification. Editorial primers are clearly distinguished from submitted research.
A developing non-profit charter
Our intended model prioritizes open access, independent editorial judgment, and transparent stewardship. Legal non-profit registration and a named editorial board have not been established here. We will publish appointments and governance details when confirmed. No institutional affiliation is implied.
Editors may be contacted through the public inquiry form.