All K-theory is squares K-theory
arXiv:2512.01813
Abstract
We show that the K-theory spectra of many assemblers, such as the assembler of polytopes in euclidean, hyperbolic or spherical geometry, as well as the assembler of definable sets, are equivalent to the K-theory spectrum of a squares category. We use this to lift the definable Euler characteristic of definable sets in an o-minimal structure to a map of K-theory spectra.
24 pages, comments are very welcome