2024/09/27 by D. Kaledin, Kaledin, D. · 1 citation
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #Representation Theory (math.RT)
paper · pdf · doi:10.48550/arxiv.2409.18378
openalex publication_date 2024/09/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This is a companion overview paper to arXiv:2409.17489: we give all the main definitions, constructions and statements, but no proofs.