Ingo Blechschmidt
Ingo Blechschmidt

Mathematician from Augsburg, Germany.

Paris: main talk (survey on logical aspects of topos theory, very rough notes in progress); additional talk (annotations)
Fischbachau: slides, Agda exercises
Slides for Brixen 2022: informal, plenary
Slides for Schlehdorf 2022
Slides for Dagstuhl 2021
Slides for Antwerp 2022
Slides for CiE 2022

About me

I’m a mathematician working in applied topos theory. I obtained my PhD in October 2017 under the supervision of Marc Nieper-Wißkirchen at the University of Augsburg. Besides research, I love teaching mathematics at all levels and am passionate about doing mathematics with school students. Currently I’m back in Augsburg. During the academic year 2018/2019, I was working at the Università di Verona under the supervision of Peter Schuster. In the winter term 2017/2018, I was substituting a junior professor at the University of Augsburg, and during the summer of 2018, I was a guest at the Max Planck Institute for Mathematics in the Sciences in Leipzig.

I explore applications of the internal language of toposes, particularly in commutative algebra and in algebraic geometry.



I contribute to the nLab and to the Stacks Project, and encourage everyone to consider Eugenia Cheng’s manifesto for inclusivity in category theory and mathematics at large.

Recent results by Matthias Hutzler: The infinitesimal topos classifies the theory of quotients of local algebras by nilpotent ideals (master’s thesis), Syntactic presentations for glued toposes and for crystalline toposes (PhD thesis)

Travel plans

Postal address

Ingo Blechschmidt
Arberstr. 5
D-86179 Augsburg

External mathematician vs. internal mathematician
Illustration: Carina Willbold (CC BY-SA)