4 papers
All K-theory is squares K-theory
Josefien Kuijper
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,…
Higher Spherical Scissors Congruence I: Hopf Algebra
Inbar Klang, Josefien Kuijper, Cary Malkiewich +2
In the study of the generalization of Hilbert's Third Problem to spherical geometry, Sah constructed a Hopf algebra of spherical polytopes with product given by join and coproduct…
From Hopf Algebras in Model Categories to Hopf Algebras in -categories
Inbar Klang, Josefien Kuijper, Cary Malkiewich +2
We show that algebra objects in model categories can be transferred to algebra objects in -categories, without any cofibrancy or fibrancy assumptions on the algebra. We fur…
Uniqueness of six-functor formalisms
Adam Dauser, Josefien Kuijper
We present an alternative formulation of Scholze's notions of cohomologically proper and cohomologically étale with respect to an abstract six-functor formalism. These conditions g…