@article{McLarty, author = {Colin McLarty}, title = {The large structures of {Grothendieck} founded on finite-order arithmetic}, journal = {The Review of Symbolic Logic}, volume = {13}, number = {2}, pages = {296--325}, year = {2020}, doi = {10.1017/S1755020319000340}, note = {\href{https://doi.org/10.1017/S1755020319000340}{doi:10.1017/S1755020319000340}} } @misc{McLartyPreprint, author = {Colin McLarty}, title = {A finite order arithmetic foundation for cohomology}, howpublished = {Author preprint}, note = {\href{https://artscimedia.case.edu/wp-content/uploads/2013/07/14182624/Derived_functor.pdf}{Author manuscript}} } @article{Oman, author = {Greg Oman}, title = {Unifying some notions of infinity in {ZC} and {ZF}}, journal = {Reports on Mathematical Logic}, volume = {51}, pages = {43--56}, year = {2016}, doi = {10.4467/20842589RM.16.004.5281}, note = {\href{https://doi.org/10.4467/20842589RM.16.004.5281}{doi:10.4467/20842589RM.16.004.5281}; \href{https://rml.tcs.uj.edu.pl/rml-51/04-oman.pdf}{journal full text}} } @misc{Shulman, author = {Michael A. Shulman}, title = {Set theory for category theory}, year = {2008}, howpublished = {\href{https://arxiv.org/abs/0810.1279v2}{arXiv:0810.1279v2}} } @article{Lack, author = {Stephen Lack}, title = {Homotopy-theoretic aspects of {$2$}-monads}, journal = {Journal of Homotopy and Related Structures}, volume = {2}, number = {2}, pages = {229--260}, year = {2007}, note = {\href{https://arxiv.org/abs/math/0607646v1}{arXiv:math/0607646v1}} } @misc{StacksTorsors, author = {{The Stacks Project Authors}}, title = {The {Stacks Project}: First cohomology and torsors}, howpublished = {Section 21.4, Tag 03AG}, note = {\href{https://stacks.math.columbia.edu/tag/03AG}{Online reference}, consulted 13 November 2026} } @article{Karp, author = {Richard M. Karp}, title = {A characterization of the minimum cycle mean in a digraph}, journal = {Discrete Mathematics}, volume = {23}, number = {3}, pages = {309--311}, year = {1978}, doi = {10.1016/0012-365X(78)90011-0}, note = {\href{https://doi.org/10.1016/0012-365X(78)90011-0}{doi:10.1016/0012-365X(78)90011-0}} } @article{AbsTopII, author = {Shinichi Mochizuki}, title = {Topics in Absolute Anabelian Geometry {II}: Decomposition Groups and Endomorphisms}, journal = {Journal of Mathematical Sciences, the University of Tokyo}, volume = {20}, number = {2}, pages = {171--269}, year = {2013}, note = {\href{https://www.kurims.kyoto-u.ac.jp/~motizuki/Topics%20in%20Absolute%20Anabelian%20Geometry%20II.pdf}{Author version, October 2013}} } @article{AbsTopIII, author = {Shinichi Mochizuki}, title = {Topics in Absolute Anabelian Geometry {III}: Global Reconstruction Algorithms}, journal = {Journal of Mathematical Sciences, the University of Tokyo}, volume = {22}, number = {4}, pages = {939--1156}, year = {2015}, note = {\href{https://www.kurims.kyoto-u.ac.jp/~motizuki/Topics%20in%20Absolute%20Anabelian%20Geometry%20III.pdf}{Author version, November 2015}} } @misc{AbsTopIIIComments, author = {Shinichi Mochizuki}, title = {Comments on ``Topics in Absolute Anabelian Geometry {III}: Global Reconstruction Algorithms''}, year = {2019}, month = jun, note = {\href{https://www.kurims.kyoto-u.ac.jp/~motizuki/Topics%20in%20Absolute%20Anabelian%20Geometry%20III%20(comments).pdf}{Author corrections}} } @article{FrdI, author = {Shinichi Mochizuki}, title = {The geometry of {Frobenioids I}: The general theory}, journal = {Kyushu Journal of Mathematics}, volume = {62}, number = {2}, pages = {293--400}, year = {2008}, doi = {10.2206/kyushujm.62.293}, note = {\href{https://doi.org/10.2206/kyushujm.62.293}{doi:10.2206/kyushujm.62.293}; \href{https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Geometry%20of%20Frobenioids%20I.pdf}{author version, June 2008}} } @misc{FrdIComments, author = {Shinichi Mochizuki}, title = {Comments on ``The Geometry of {Frobenioids I}''}, year = {2024}, month = jan, note = {\href{https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Geometry%20of%20Frobenioids%20I%20(comments).pdf}{Author corrections}} } @article{FrdII, author = {Shinichi Mochizuki}, title = {The geometry of {Frobenioids II}: Poly-{Frobenioids}}, journal = {Kyushu Journal of Mathematics}, volume = {62}, number = {2}, pages = {401--460}, year = {2008}, doi = {10.2206/kyushujm.62.401}, note = {\href{https://doi.org/10.2206/kyushujm.62.401}{doi:10.2206/kyushujm.62.401}; \href{https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Geometry%20of%20Frobenioids%20II.pdf}{author version, June 2008}} } @misc{FrdIIComments, author = {Shinichi Mochizuki}, title = {Comments on ``The Geometry of {Frobenioids II}''}, year = {2019}, month = feb, note = {\href{https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Geometry%20of%20Frobenioids%20II%20(comments).pdf}{Author corrections}} } @article{EtTh, author = {Shinichi Mochizuki}, title = {The {\'Etale Theta} function and its {Frobenioid}-theoretic manifestations}, journal = {Publications of the Research Institute for Mathematical Sciences}, volume = {45}, number = {1}, pages = {227--349}, year = {2009}, note = {\href{https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Etale%20Theta%20Function%20and%20its%20Frobenioid-theoretic%20Manifestations.pdf}{Author version, December 2008}} } @misc{EtThComments, author = {Shinichi Mochizuki}, title = {Comments on ``The {\'Etale Theta} Function and its {Frobenioid}-theoretic Manifestations''}, year = {2022}, month = mar, note = {\href{https://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Etale%20Theta%20Function%20and%20its%20Frobenioid-theoretic%20Manifestations%20(comments).pdf}{Author corrections}} } @article{IUTI, author = {Shinichi Mochizuki}, title = {Inter-universal {Teichm\"uller} theory {I}: Construction of {Hodge} theaters}, journal = {Publications of the Research Institute for Mathematical Sciences}, volume = {57}, number = {1/2}, pages = {3--207}, year = {2021}, doi = {10.4171/PRIMS/57-1-1}, note = {\href{https://doi.org/10.4171/PRIMS/57-1-1}{doi:10.4171/PRIMS/57-1-1}; \href{https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf}{author version, May 2020}} }