The Isbell nucleus of a matrix induces an isometry between its tropical row and column spans under the Hilbert projective metric, with gap matrices equating algebraic slack to geometric distance to cell walls.
Joyal’s arithmetic universe as list-arithmetic pretopos
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Defines code structures on fibrations to simplify the proof of Löb's theorem in geminal categories and adds a new categorical version of the Gödel-Löb axiom.
citing papers explorer
-
Projective metric geometry of tropical nuclei: gap matrices, event loci, and order chambers
The Isbell nucleus of a matrix induces an isometry between its tropical row and column spans under the Hilbert projective metric, with gap matrices equating algebraic slack to geometric distance to cell walls.
-
G\"odel coding on fibrations and geminal categories
Defines code structures on fibrations to simplify the proof of Löb's theorem in geminal categories and adds a new categorical version of the Gödel-Löb axiom.