Cosmological Unstraightening
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | Rasekh, Nima |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Filter Quotient Model Structures
von: Rasekh, Nima
Veröffentlicht: (2025)
von: Rasekh, Nima
Veröffentlicht: (2025)
Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)
von: Rasekh, Nima
Veröffentlicht: (2025)
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)
von: Rasekh, Nima
Veröffentlicht: (2025)
Culf maps and edgewise subdivision
von: Hackney, Philip, et al.
Veröffentlicht: (2022)
von: Hackney, Philip, et al.
Veröffentlicht: (2022)
Calculus of Fractions for Quasicategories
von: Carranza, Daniel, et al.
Veröffentlicht: (2023)
von: Carranza, Daniel, et al.
Veröffentlicht: (2023)
Limits and colimits of synthetic $\infty$-categories
von: Martínez, César Bardomiano
Veröffentlicht: (2022)
von: Martínez, César Bardomiano
Veröffentlicht: (2022)
Abacus bicomodule configurations and the Bergner-Osorno-Ozornova-Rovelli-Scheimbauer equivalence
von: Kock, Joachim, et al.
Veröffentlicht: (2025)
von: Kock, Joachim, et al.
Veröffentlicht: (2025)
A short proof of the straightening theorem
von: Hebestreit, Fabian, et al.
Veröffentlicht: (2021)
von: Hebestreit, Fabian, et al.
Veröffentlicht: (2021)
Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories
von: Carranza, Daniel, et al.
Veröffentlicht: (2023)
von: Carranza, Daniel, et al.
Veröffentlicht: (2023)
Constructing Reedy Fibrant Replacements of Projective Fibrant Simplicial Presheaves
von: Romö, Jack
Veröffentlicht: (2025)
von: Romö, Jack
Veröffentlicht: (2025)
A new model of dg-categories
von: Bermejo, Elena Dimitriadis
Veröffentlicht: (2023)
von: Bermejo, Elena Dimitriadis
Veröffentlicht: (2023)
On duoidal $\infty$-categories
von: Torii, Takeshi
Veröffentlicht: (2021)
von: Torii, Takeshi
Veröffentlicht: (2021)
$(\infty,n)$-Limits II: Comparison across models
von: Moser, Lyne, et al.
Veröffentlicht: (2024)
von: Moser, Lyne, et al.
Veröffentlicht: (2024)
A homotopy coherent nerve for $(\infty,n)$-categories
von: Moser, Lyne, et al.
Veröffentlicht: (2022)
von: Moser, Lyne, et al.
Veröffentlicht: (2022)
Shadows are Bicategorical Traces
von: Hess, Kathryn, et al.
Veröffentlicht: (2021)
von: Hess, Kathryn, et al.
Veröffentlicht: (2021)
Some properties of the A$_{\infty}$-nerve
von: Ornaghi, Mattia
Veröffentlicht: (2016)
von: Ornaghi, Mattia
Veröffentlicht: (2016)
Nerves of enriched categories via necklaces
von: Mertens, Arne
Veröffentlicht: (2024)
von: Mertens, Arne
Veröffentlicht: (2024)
The $(\infty,2)$-category of internal $(\infty,1)$-categories
von: Stenzel, Raffael
Veröffentlicht: (2024)
von: Stenzel, Raffael
Veröffentlicht: (2024)
Combinatorial model categories are equivalent to presentable quasicategories
von: Pavlov, Dmitri
Veröffentlicht: (2021)
von: Pavlov, Dmitri
Veröffentlicht: (2021)
$ω$-equifibrations between strict and weak $ω$-categories
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)
On the $\infty$-topos semantics of homotopy type theory
von: Riehl, Emily
Veröffentlicht: (2022)
von: Riehl, Emily
Veröffentlicht: (2022)
$ω$-weak equivalences between weak $ω$-categories
von: Fujii, Soichiro, et al.
Veröffentlicht: (2024)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2024)
On $2$-categorical $\infty$-cosmoi
von: Bourke, John, et al.
Veröffentlicht: (2023)
von: Bourke, John, et al.
Veröffentlicht: (2023)
Double categorical model of $(\infty,1)$-categories
von: Guetta, Léonard, et al.
Veröffentlicht: (2024)
von: Guetta, Léonard, et al.
Veröffentlicht: (2024)
Key lemma and universal localization
von: Hinich, Vladimir
Veröffentlicht: (2024)
von: Hinich, Vladimir
Veröffentlicht: (2024)
Derived mapping spaces of $\infty$-categories
von: Arakawa, Kensuke, et al.
Veröffentlicht: (2025)
von: Arakawa, Kensuke, et al.
Veröffentlicht: (2025)
Symmetry in the cubical Joyal model structure
von: Doherty, Brandon
Veröffentlicht: (2024)
von: Doherty, Brandon
Veröffentlicht: (2024)
Enriched quasi-categories and the templicial homotopy coherent nerve
von: Lowen, Wendy, et al.
Veröffentlicht: (2023)
von: Lowen, Wendy, et al.
Veröffentlicht: (2023)
Bicategories of algebras for relative pseudomonads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2025)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2025)
Deformation Theory for $(\infty,n)$-categories
von: Kositsyn, Roman
Veröffentlicht: (2025)
von: Kositsyn, Roman
Veröffentlicht: (2025)
Segalification and the Boardman-Vogt tensor product
von: Barkan, Shaul, et al.
Veröffentlicht: (2023)
von: Barkan, Shaul, et al.
Veröffentlicht: (2023)
Multiplicative structures on comodules in higher categories
von: Torii, Takeshi
Veröffentlicht: (2025)
von: Torii, Takeshi
Veröffentlicht: (2025)
Map monoidales and duoidal $\infty$-categories
von: Torii, Takeshi
Veröffentlicht: (2024)
von: Torii, Takeshi
Veröffentlicht: (2024)
Homotopy theory of stricter $n$-categories
von: Chanavat, Clémence
Veröffentlicht: (2025)
von: Chanavat, Clémence
Veröffentlicht: (2025)
A model for the coherent walking $ω$-equivalence
von: Hadzihasanovic, Amar, et al.
Veröffentlicht: (2024)
von: Hadzihasanovic, Amar, et al.
Veröffentlicht: (2024)
Generalizing quasi-categories via model structures on simplicial sets
von: Feller, Matthew
Veröffentlicht: (2021)
von: Feller, Matthew
Veröffentlicht: (2021)
Simplicial sets in topology, category theory, and beyond
von: Bergner, Julia E.
Veröffentlicht: (2024)
von: Bergner, Julia E.
Veröffentlicht: (2024)
A model structure for Grothendieck fibrations
von: Moser, Lyne, et al.
Veröffentlicht: (2023)
von: Moser, Lyne, et al.
Veröffentlicht: (2023)
The snail lemma and the long homology sequence
von: González, Julia Ramos, et al.
Veröffentlicht: (2025)
von: González, Julia Ramos, et al.
Veröffentlicht: (2025)
Involutive Weak Cubical $ω$-categories
von: Bejrakarbum, Paratat, et al.
Veröffentlicht: (2025)
von: Bejrakarbum, Paratat, et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
Filter Quotient Model Structures
von: Rasekh, Nima
Veröffentlicht: (2025) -
Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025) -
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025) -
Culf maps and edgewise subdivision
von: Hackney, Philip, et al.
Veröffentlicht: (2022) -
Calculus of Fractions for Quasicategories
von: Carranza, Daniel, et al.
Veröffentlicht: (2023)