{"id":"arxiv/2606.01165","url":"https://arxiv.org/abs/2606.01165","tags":["math.LO","cs.LO","math.CT"],"score":0,"title":"Gödel coding on fibrations and geminal categories","domain":"math.LO","source":"arxiv","authors":["Yuto Ikeda"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-31","reactions":{}}