Intensional semantics for comparison problems in arithmetic geometry

Overview & Synopsis

This book contains below topics, Two disciplines of identification, Ring coherence and suspended evaluation, Foundational motivations for quantitative identity, Quantitative categories and Lawvere enrichment, The labeled quantitative 2 1 category, The Jstructure and controlled elimination, Comparison problems and the descent obstruction, Anabelian packages a quantitative category from practice, Elliptic packages and the discriminant height, The Kummerian cost protocol, An intensional Szpiro inequality, An explicit example, Descent to a presettheoretic universe, Formalization sketches in Coq, An intensional statement of the Birch and SwinnertonDyer conjecture, The Tate Shafarevich group.