20/04/26 14:37:28 7O7a3CML.net
>>420 追加
これも出た
今いｔ意味わからん（＾＾；
URLﾘﾝｸ(www.uvm.edu)
[ Taylor Dupuy's Homepage]
[ manuscripts ]
１．Log-Kummer Correspondences and The Third Indeterminacy (with A. Hilado) (Appendix of Interpretation Tables Only -- this may be spun into its expository own document)
URLﾘﾝｸ(www.dropbox.com)
Abstract. This document contains a number of interpretation tables used in Mochizuki's
IUT papers. It is stripped from the Appendix of [DH20].
”Functorial Algorithms" = Interpretations
Mochizuki's theory depends heavily on ”functorial algorithms" which he defines as func-
tors from one category to another. In practice these ”functorial algorithms" are intricate
anabelian reconstructions and we have found that the details of one construction often feed
into later constructions or Theorems i.e. their knowledge ”as a functor" generally tends not
to serve as a good black box. 1
Most of Mochizuki's \functorial algorithms" are interpretations in the sense of Model The-ory2 [Hod97, x4.3]
(see [Car18, Definition 6.12] for a more topos theoretic definition). This
formalism is both convenient and precise for the purposes of discussing IUT.