A short proof of the straightening theorem
Fuente:
arXiv
Guardado en:
| Autores principales: | Hebestreit, Fabian, Heuts, Gijs, Ruit, Jaco |
|---|---|
| Formato: | Preprint |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
A short proof that Rezk's nerve is fully faithful
por: Hebestreit, Fabian, et al.
Publicado: (2023)
por: Hebestreit, Fabian, et al.
Publicado: (2023)
A pasting theorem for iterated Segal spaces
por: Ruit, Jaco
Publicado: (2022)
por: Ruit, Jaco
Publicado: (2022)
Abacus bicomodule configurations and the Bergner-Osorno-Ozornova-Rovelli-Scheimbauer equivalence
por: Kock, Joachim, et al.
Publicado: (2025)
por: Kock, Joachim, et al.
Publicado: (2025)
Homotopy coherent companionships and conjunctions
por: Ruit, Jaco
Publicado: (2024)
por: Ruit, Jaco
Publicado: (2024)
Day convolution for algebraic patterns
por: Blom, Thomas, et al.
Publicado: (2026)
por: Blom, Thomas, et al.
Publicado: (2026)
A short proof of the universality of the relative Rezk nerve
por: Arakawa, Kensuke, et al.
Publicado: (2025)
por: Arakawa, Kensuke, et al.
Publicado: (2025)
On the squares functor and the Gaitsgory-Rozenblyum conjectures
por: Loubaton, Félix, et al.
Publicado: (2025)
por: Loubaton, Félix, et al.
Publicado: (2025)
Formal category theory in $\infty$-equipments I
por: Ruit, Jaco
Publicado: (2023)
por: Ruit, Jaco
Publicado: (2023)
Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations
por: Ruit, Jaco
Publicado: (2024)
por: Ruit, Jaco
Publicado: (2024)
Generalizing quasi-categories via model structures on simplicial sets
por: Feller, Matthew
Publicado: (2021)
por: Feller, Matthew
Publicado: (2021)
Simplicial sets in topology, category theory, and beyond
por: Bergner, Julia E.
Publicado: (2024)
por: Bergner, Julia E.
Publicado: (2024)
Constructing Reedy Fibrant Replacements of Projective Fibrant Simplicial Presheaves
por: Romö, Jack
Publicado: (2025)
por: Romö, Jack
Publicado: (2025)
Filter Quotient Model Structures
por: Rasekh, Nima
Publicado: (2025)
por: Rasekh, Nima
Publicado: (2025)
Kernels, lax algebras, décalage, and supercoherence
por: Markl, Martin, et al.
Publicado: (2026)
por: Markl, Martin, et al.
Publicado: (2026)
Functor calculus via non-cubes
por: Stoll, Robin
Publicado: (2022)
por: Stoll, Robin
Publicado: (2022)
Recollements and stratification
por: Shah, Jay
Publicado: (2021)
por: Shah, Jay
Publicado: (2021)
Presentability and topoi in internal higher category theory
por: Martini, Louis, et al.
Publicado: (2022)
por: Martini, Louis, et al.
Publicado: (2022)
Hinich's model for Day convolution revisited
por: Winges, Christoph
Publicado: (2025)
por: Winges, Christoph
Publicado: (2025)
Calculus of Fractions for Quasicategories
por: Carranza, Daniel, et al.
Publicado: (2023)
por: Carranza, Daniel, et al.
Publicado: (2023)
Segalification and the Boardman-Vogt tensor product
por: Barkan, Shaul, et al.
Publicado: (2023)
por: Barkan, Shaul, et al.
Publicado: (2023)
On duoidal $\infty$-categories
por: Torii, Takeshi
Publicado: (2021)
por: Torii, Takeshi
Publicado: (2021)
The universal continuous six functor formalism on light condensed anima
por: He, Li
Publicado: (2025)
por: He, Li
Publicado: (2025)
Geometric Categories and Sheaves on Topoi
por: Bass, Connor
Publicado: (2026)
por: Bass, Connor
Publicado: (2026)
Limits of $(\infty, 1)$-categories with structure and their lax morphisms
por: Ko, Joanna
Publicado: (2025)
por: Ko, Joanna
Publicado: (2025)
An internal description of constructible objects in an $\infty$-topos
por: He, Li
Publicado: (2025)
por: He, Li
Publicado: (2025)
Colimits in the $\infty$-category of $\infty$-topoi and étale morphisms
por: Uemura, Taichi
Publicado: (2025)
por: Uemura, Taichi
Publicado: (2025)
A straightening-unstraightening equivalence for $\infty$-operads
por: Pratali, Francesca
Publicado: (2025)
por: Pratali, Francesca
Publicado: (2025)
Arboreal Objects and Their Homotopy Theory
por: Kaygun, Atabey
Publicado: (2026)
por: Kaygun, Atabey
Publicado: (2026)
Culf maps and edgewise subdivision
por: Hackney, Philip, et al.
Publicado: (2022)
por: Hackney, Philip, et al.
Publicado: (2022)
On tested Bousfield-Friedlander localizations
por: Taggart, Niall
Publicado: (2025)
por: Taggart, Niall
Publicado: (2025)
Categorical Ambidexterity
por: Ben-Moshe, Shay
Publicado: (2024)
por: Ben-Moshe, Shay
Publicado: (2024)
Some properties of the A$_{\infty}$-nerve
por: Ornaghi, Mattia
Publicado: (2016)
por: Ornaghi, Mattia
Publicado: (2016)
Multiplicative structures on comodules in higher categories
por: Torii, Takeshi
Publicado: (2025)
por: Torii, Takeshi
Publicado: (2025)
Map monoidales and duoidal $\infty$-categories
por: Torii, Takeshi
Publicado: (2024)
por: Torii, Takeshi
Publicado: (2024)
An Enriched Approach to the Strictification of $(\infty,1)$-Categories
por: Strong, Kimball
Publicado: (2025)
por: Strong, Kimball
Publicado: (2025)
A homotopy coherent nerve for $(\infty,n)$-categories
por: Moser, Lyne, et al.
Publicado: (2022)
por: Moser, Lyne, et al.
Publicado: (2022)
On the $\infty$-topos semantics of homotopy type theory
por: Riehl, Emily
Publicado: (2022)
por: Riehl, Emily
Publicado: (2022)
On orthogonal factorization systems and double categories
por: Juran, Branko
Publicado: (2025)
por: Juran, Branko
Publicado: (2025)
A strengthened $(\infty, n)$-categorical pasting theorem
por: Chanavat, Clémence
Publicado: (2026)
por: Chanavat, Clémence
Publicado: (2026)
Cartesian Fibrations of $(\infty,2)$-categories
por: Gagna, Andrea, et al.
Publicado: (2021)
por: Gagna, Andrea, et al.
Publicado: (2021)
Ejemplares similares
-
A short proof that Rezk's nerve is fully faithful
por: Hebestreit, Fabian, et al.
Publicado: (2023) -
A pasting theorem for iterated Segal spaces
por: Ruit, Jaco
Publicado: (2022) -
Abacus bicomodule configurations and the Bergner-Osorno-Ozornova-Rovelli-Scheimbauer equivalence
por: Kock, Joachim, et al.
Publicado: (2025) -
Homotopy coherent companionships and conjunctions
por: Ruit, Jaco
Publicado: (2024) -
Day convolution for algebraic patterns
por: Blom, Thomas, et al.
Publicado: (2026)