What question did this study set out to answer?

This work aims to investigate the correspondence between Type-Theoretic and Category-Theoretic Interpretations, proposing a unified meta-theoretic perspective.

June 14, 2026Open Access

The Is: Unified Meta-Ontology Interpretive Invariance of the Is Sequence Across Formal Systems (The Is Applications Series, v3.0)

Key Points

This work aims to investigate the correspondence between Type-Theoretic and Category-Theoretic Interpretations, proposing a unified meta-theoretic perspective.
Develops Invariance Thesis focused on the Is Sequence: I → D → S → A → F.
Utilizes the Curry–Howard–Lambek correspondence and a Meta-Ontology Lattice.
Analyzes interpretive invariance through a cross-formal examination of Ground and Initiality.
Establishes that the Is Sequence functions uniformly across various formal systems.
Presents interpretive correspondences explicitly, emphasizing their illustrative nature.
Introduces a Unified Falsifiability Framework distributed across five levels of the Is Sequence.

Abstract

This release presents The Is: Unified Meta-Ontology (v3.0), the third installment of the The Is Applications Series. Building on v1.0 (Type-Theoretic Interpretation) and v2.0 (Category-Theoretic Interpretation), this work investigates the correspondence between these reconstructions and proposes a unified meta-theoretic perspective centered on the sequence: I (Isness) → D (Difference) → S (Structure) → A (Appearance) → F (Feedback) The central contribution is the Invariance Thesis, which proposes that the order and functional role of the Is Sequence admit interpretive invariance across multiple formal systems, including Type Theory (MLTT/HoTT), Category Theory, First-Order Logic, Set Theory, and Topos Theory. The paper develops this thesis through the Curry–Howard–Lambek correspondence, a Meta-Ontology Lattice, a cross-formal analysis of Ground and Initiality, a unified interpretation of Difference as Type Formation and Morphism, and a Unified Falsifiability Framework (C1–C12) distributed across all five levels of the sequence. All correspondences are explicitly presented as interpretive and illustrative, not as formal equivalences. The framework is intended as a conceptual meta-theoretic reconstruction that remains open to criticism, revision, and further development. This release includes: Full manuscript (13 sections) Figures 1–10 Unified Falsifiability Framework (C1–C12) Meta-Ontology Lattice Curry–Howard–Lambek correspondence analysis Cross-formalism invariance framework Reproducible figure-generation demo script The series continues with domain mappings to: v4.0 — The Is and SDC (Structural Differentiation Cosmology) v5.0 — The Is and TLMM (Topological Latent Manifold Model) v6.0 — The Is and ABF (Appearance–Behavior Framework) v7.0 — The Is Unified Framework

Read Full Paperexternally

AI에게 질문

Bookmark

View Full Paper