Weak Cartesian properties of simplicial sets

DOI10.1007/S40062-023-00334-1MaRDI QIDQ6148310zbMATH OpenOpenAlexFDO

Authors Carmen M. Constantin, Tobias Fritz, Paolo Perrone, Brandon T. Shapiro

Publication date 11 January 2024

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2105.04775

zbMATH Keywords

2-Segaldatabaseslifting propertiessimplicial setsweak pullbacks

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Applied homological algebra and category theory in algebraic topology (55Uxx)

Abstract: Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of G'{a}lvez, Kock, and Tonks, are characterized by the property of sending certain commuting squares in the simplex category $Delta$ to pullback squares of sets. We introduce weaker analogues of these properties called completeness conditions, which require squares in $Delta$ to be sent to weak pullbacks of sets, defined similarly to pullback squares but without the uniqueness property of induced maps. We show that some of these completeness conditions provide a simplicial set with lifts against certain subsets of simplices first introduced in the theory of database design. We also provide reduced criteria for checking these properties using factorization results for pushouts squares in $Delta$, which we characterize completely, along with several other classes of squares in $Delta$. Examples of simplicial sets with completeness conditions include quasicategories, Kan complexes, many of the compositories and gleaves of Flori and Fritz, and bar constructions for algebras of certain classes of monads. The latter is our motivating example which we discuss in a companion paper.

Recommendations

• Simplicial sets in topology, category theory, and beyond
• Weak complicial sets. I: Basic homotopy theory
• Fibrations of simplicial sets
• Another approach to the Kan-Quillen model structure
• A co-reflection of cubical sets into simplicial sets with applications to model structures

Cites work

• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Algebraic models for higher categories
• Compositories and Gleaves
• d-collapsing and nerves of families of convex sets
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
• Every 2-Segal space is unital
• Higher Segal spaces
• Higher Topos Theory (AM-170)
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 3989612 (Why is no real title available?)
• scientific article; zbMATH DE number 854567 (Why is no real title available?)
• scientific article; zbMATH DE number 3223483 (Why is no real title available?)
• On the Desirability of Acyclic Database Schemes
• Quasi-categories and Kan complexes

Cited in

(1)

• The decomposition space perspective

This page was built for publication: Weak Cartesian properties of simplicial sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6148310)