nLab Georg Lehner

• personal page

• institute page

Selected writings

On the measure theory using a locale / site-theoretic approach:

• Georg Lehner, Measure theory via Locales [arXiv:2510.08826]

On a computation of the algebraic $K$-theory of the category of sheaves on a coherent / spectral space:

• Georg Lehner, Algebraic $K$-theory of coherent spaces [arXiv:2507.00221]

On a unified perspective on various constructions of the group completion of $E_n$-monoids:

• Georg Lehner, Group completion via the action $\infty$-category [arXiv:2405.12118]

On the shape of $\infty$-topoi:

• Georg Lehner: Shape Theory of $\infty$-Topoi: Inverse Limits, Products, and (Co)homology [arXiv:2608.17525]

Explicit counterexample to the would-be functoriality of Becker-Gottlieb transfer:

• Georg Lehner, Cary Malkiewich, Florian Naef: The Becker–Gottlieb transfer is not functorial: An example based on units of group rings [arXiv:2610.18720]

category: people