Intensional semantics for comparison problems in arithmetic geometry
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.
Author(s): R. Laniewski
90 Pages