2025/11/12 by Stefanich, Germán
#Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2511.09553
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 C, a compatible sequence of representations of the (∞,n)-category of correspondences of C for every n ≥ 1. As an application, we explain a general recipe for constructing topological field theories.