Gödel coding on fibrations and geminal categories
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.01165
curl -X POST /api/v1/records/arxiv/2606.01165/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.01165/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'