1 paper · 1 filter
R. Laniewski
This work proposes a semantic environment for arithmetic geometry in which passage between presentations carries an explicit weight. Morphism costs induce a Lawvere generalized dis…