2025/11/09 by Taylor, Johnathon
Computer Science · Mathematics · #18A10 #18A32 #18C10 #18C30 #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #Topological and Geometric Data Analysis
paper · doi:10.48550/arxiv.2511.06469
openalex publication_date 2025/11/09 · openalex created_date 2025/11/12 · openalex updated_date 2026/07/28
We construct the universal realized limit sketch associated to a given limit sketch. The construction uses factorization systems to organize the classical argument of [2], yielding a streamlined and conceptually unified formulation of the technical steps. This provides a structured framework for understanding realizations of limit sketches in terms of factorization-theoretic data.