3 citations · 6 across the 8 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.KT2023★ 3 cited
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]…
math.AG2023
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…
math.CT2023
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…