Categorification of sheaf theory
Algebraic Geometry
2025-11-13 v1 Algebraic Topology
Category Theory
Abstract
We discuss a systematic procedure for categorifying presentable six-functor formalisms. Our main result produces, given the input of a representation of the -category of correspondences of an -category with finite limits , a compatible sequence of representations of the -category of correspondences of for every . As an application, we explain a general recipe for constructing topological field theories.
Cite
@article{arxiv.2511.09553,
title = {Categorification of sheaf theory},
author = {Germán Stefanich},
journal= {arXiv preprint arXiv:2511.09553},
year = {2025}
}