2023/04/23 by Chirantan Chowdhury, Chowdhury, Chirantan
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis
paper · pdf · doi:10.48550/arxiv.2304.11742
openalex publication_date 2023/04/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This article is first in a series of papers where we reprove the statements in constructing the Enhanced Operation Map and the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem regarding constructing functors between simplicial sets using the category of simplices. We shall reprove the statement using the language of marked simplicial sets and studying injective model structure on functor categories. The theorem is a crucial tool and will be used repeatedly in reproving the ∞-categorical compactification and constructing the so called Enhanced Operation Map in the forthcoming articles.