Yoneda lemma for simplicial spaces

DOI10.1007/S10485-023-09734-ZzbMATH Open1516.18018arXiv1711.03160OpenAlexW2767909534WikidataQ125048457 ScholiaQ125048457MaRDI QIDQ6175166FDOQ6175166

Nima Rasekh

Publication date: 21 July 2023

Published in: Applied Categorical Structures (Search for Journal in Brave)

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.

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

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

zbMATH Keywords

higher category theorycomplete Segal spacessimplicial spacesYoneda lemmaleft fibrations

Mathematics Subject Classification ID

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• A Survey of (∞, 1)-Categories
• On the Classification of Topological Field Theories
• Title not available (Why is that?)
• Higher algebraic K-theory: I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Higher Topos Theory (AM-170)
• Universal homotopy theories
• Homotopy invariant algebraic structures on topological spaces
• Homotopy Type Theory: Univalent Foundations of Mathematics
• A model category structure on the category of simplicial categories
• A model for the homotopy theory of homotopy theory
• Categorical homotopy theory
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• Title not available (Why is that?)
• Weak complicial sets. I: Basic homotopy theory
• A Cartesian presentation of weak \(n\)-categories
• Comparison of models for \((\infty , n)\)-categories. I
• Three models for the homotopy theory of homotopy theories
• Every homotopy theory of simplicial algebras admits a proper model
• Title not available (Why is that?)
• Simplicial structures on model categories and functors
• Title not available (Why is that?)
• Dendroidal spaces, \(\Gamma\)-spaces and the special Barratt-Priddy-Quillen theorem
• Simplicial and Dendroidal Homotopy Theory
• Higher Segal Spaces
• Elements of ∞-Category Theory
• Polynomial functors and polynomial monads
• Title not available (Why is that?)
• 2-Segal sets and the Waldhausen construction
• 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
• A note on the \((\infty,n)\)-category of cobordisms
• Left fibrations and homotopy colimits
• Yoneda lemma for complete Segal spaces
• Univalence and completeness of Segal objects
• Higher Categories and Homotopical Algebra
• A type theory for synthetic $\infty$-categories
• Segal objects and the Grothendieck construction
• The Homotopy Theory of (∞,1)-Categories
• Covariant Model Structures and Simplicial Localization
• Comparison of models for (∞,n)‐categories, II
• A survey of models for (∞, n)-categories
• Cartesian fibrations and representability
• Yoneda lemma for simplicial spaces
• Flagged higher categories
• A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects

Cited In (5)

• A type theory for synthetic $\infty$-categories
• Cartesian fibrations and representability
• Title not available (Why is that?)
• 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)