pith. sign in

arxiv: 2011.03027 · v1 · pith:LXGUVCN5new · submitted 2020-11-05 · 🧮 math.AT · math.AG· math.CT

Higher sheaf theory I: Correspondences

Germ\'an Stefanich This is my paper
classification 🧮 math.AT math.AGmath.CT
keywords correspondencescategoryhigherinftymathcalalgebraiccasecategorical
0
0 comments X
read the original abstract

We prove a universal property for the $(\infty, n)$-category of correspondences, generalizing and providing a new proof for the case $n = 2$ from [GR17]. We also provide conditions under which a functor out of a higher category of correspondences of $\mathcal{C}$ can be extended to a higher category of correspondences of the free cocompletion of $\mathcal{C}$. These results will be used in the sequels to this paper to construct $(\infty, n)$-categorical versions of the theories of quasicoherent and ind-coherent sheaves in derived algebraic geometry.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The span-squares adjunction

    math.CT 2026-06 unverdicted novelty 7.0

    The span functor from double ∞-categories to ∞-categories admits a right adjoint given by squares, yielding new proofs of equivalences among the Q-, S-, cobordism, and squares models of algebraic K-theory.