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
- 2-Segal sets and the Waldhausen construction
- A Cartesian presentation of weak \(n\)-categories
- 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 (∞, 1)-Categories
- A survey of models for \((\infty, n)\)-categories
- A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects
- 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 algebraic K-theory: I
- Higher categories and homotopical algebra
- Higher Segal spaces
- Higher Topos Theory (AM-170)
- Homotopy invariant algebraic structures on topological spaces
- Homotopy type theory. Univalent foundations of mathematics
- 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?)
- 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
- Yoneda lemma for complete Segal spaces
- Left fibrations and homotopy colimits
- A type theory for synthetic -categories
- Covariant model structures and simplicial localization
- A homotopy coherent nerve for \((\infty, n)\)-categories
- Yoneda lemma for simplicial spaces
- A model for the higher category of higher categories
- Cartesian fibrations of complete Segal spaces
- Culf maps and edgewise subdivision
- Segalification and the Boardman-Vogt tensor product
- Limits and colimits in synthetic -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)
