Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Homotopical algebra, Quillen model categories, derivators (18N40) Simplicial sets, simplicial objects (18N50) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)
Abstract: We study the Yoneda lemma for arbitrary simplicial spaces. We do that by introducing left fibrations of simplicial spaces and and studying its associated model structure, the covariant model structure. In particular, we prove a recognition principle for covariant equivalences over an arbitrary simplicial space and invariance of the covariant model structure with respect to complete Segal space equivalences.
Recommendations
- Yoneda lemma for complete Segal spaces
- A Cartesian presentation of weak \(n\)-categories
- Higher Segal spaces
- Segal objects and the Grothendieck construction
- Complete Segal spaces arising from simplicial categories
- Cartesian fibrations and representability
- A characterization of fibrant Segal categories
- Equivariant complete Segal spaces
- scientific article; zbMATH DE number 5219541
- From fractions to complete Segal spaces
Cites work
- scientific article; zbMATH DE number 4163134 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- scientific article; zbMATH DE number 937397 (Why is no real title available?)
- scientific article; zbMATH DE number 5219541 (Why is no real title available?)
- scientific article; zbMATH DE number 3305157 (Why is no real title available?)
- scientific article; zbMATH DE number 3382586 (Why is no real title available?)
- 2-Segal sets and the Waldhausen construction
- A Cartesian presentation of weak \(n\)-categories
- A Survey of (∞, 1)-Categories
- A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects
- A model category structure on the category of simplicial categories
- A model for the homotopy theory of homotopy theory
- A note on the \((\infty,n)\)-category of cobordisms
- A survey of models for \((\infty, n)\)-categories
- A type theory for synthetic -categories
- Cartesian fibrations and representability
- Categorical homotopy theory
- Comparison of models for (∞,n)‐categories, II
- Comparison of models for ( , n)-categories. I
- Covariant model structures and simplicial localization
- 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
- Dendroidal spaces, \(\Gamma\)-spaces and the special Barratt-Priddy-Quillen theorem
- Elements of -category theory
- Every homotopy theory of simplicial algebras admits a proper model
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Flagged higher categories
- Higher Segal spaces
- Higher Topos Theory (AM-170)
- Higher algebraic K-theory: I
- Higher categories and homotopical algebra
- Homotopy invariant algebraic structures on topological spaces
- Homotopy type theory. Univalent foundations of mathematics
- Left fibrations and homotopy colimits
- On the Classification of Topological Field Theories
- Polynomial functors and polynomial monads
- Segal objects and the Grothendieck construction
- Sheaves in geometry and logic: a first introduction to topos theory
- Simplicial and Dendroidal Homotopy Theory
- Simplicial structures on model categories and functors
- The Homotopy Theory of (∞,1)-Categories
- Three models for the homotopy theory of homotopy theories
- Univalence and completeness of Segal objects
- Universal homotopy theories
- Weak complicial sets. I: Basic homotopy theory
- Yoneda lemma for complete Segal spaces
- Yoneda lemma for simplicial spaces
Cited in
(12)- Cartesian fibrations and representability
- Culf maps and edgewise subdivision
- Left fibrations and homotopy colimits
- Covariant model structures and simplicial localization
- Segalification and the Boardman-Vogt tensor product
- A model for the higher category of higher categories
- Cartesian fibrations of complete Segal spaces
- Yoneda lemma for complete Segal spaces
- A type theory for synthetic -categories
- Limits and colimits in synthetic -categories
- Yoneda lemma for simplicial spaces
- A homotopy coherent nerve for \((\infty, n)\)-categories
This page was built for publication: Yoneda lemma for simplicial spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6175166)
