3 citations · 6 across the 8 of their papers we have counts for
8 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…
Algebraic -theory for squares categories
Jonathan Campbell, Josefien Kuijper, Mona Merling +1
In this paper we introduce a new formalism for -theory, called squares -theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A]…
An axiomatization of six-functor formalisms
Josefien Kuijper
In this paper, we consider some variations on Mann's definition -categorical definition of abstract six-functor formalisms. We consider Nagata six-functor formalisms, that…
A symmetric monoidal Comparison Lemma
Josefien Kuijper
In this note we study symmetric monoidal functors from a symmetric monoidal 1-category to a cartesian symmetric monoidal -category, which are in addition hypersheaves for a…
A descent principle for compactly supported extensions of functors
Josefien Kuijper
A characteristic property of cohomology with compact support is the long exact sequence that connects the compactly supported cohomology groups of a space, an open subspace and its…