All K-theory is squares K-theory

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.