On Previdi's delooping conjecture for K-theory

We prove, under a mild assumption, Previdi's conjecture stating that the Waldhausen space of Beilinson's category of locally compact objects over an exact category is a delooping of the Waldhausen space of that exact category.

Sho Saito <sho.saito@math.nagoya-u.ac.jp>