🤖 AI Summary
This work aims to formalize self-referential structures and streamline the proof of Löb’s theorem within a categorical framework. To this end, the author introduces a Gödel numbering structure over fibrations, reconstructs geminal category theory, and establishes a categorical semantics for self-referential logic. This approach not only yields a significantly simplified proof of Löb’s theorem but also derives a novel categorical counterpart of the Gödel–Löb axiom. By integrating category theory, fibrations, modal logic, and theories of self-reference, the study constructs a concise yet rigorous semantic framework and uncovers its potential connections to modal type theory.
📝 Abstract
Ramesh's 2023 dissertation introduces the categorical notions of introspective theories and geminal categories, which formalize "self-internalizing" structures sharing the form of Löb's theorem ($\Box A \vdash A$ implies $\vdash A$). We reorganize the theory of geminal categories in a self-contained manner by introducing "code structures on fibrations," which serve as a categorical abstraction of Gödel coding. This framework leads to a significant simplification of the proof of Löb's theorem for geminal categories, as well as to a new categorical counterpart of the Gödel-Löb axiom ($\Box(\Box A \to A) \to \Box A$). This formulation offers an accessible framework for Ramesh's approach and suggests connections to modal type theories, where similar meta- and object-level interactions arise.