# Questions tagged [infinity-categories]

The infinity-categories tag has no usage guidance.

536
questions

0
votes

0
answers

10
views

### Comparing the Stacks Project Homotopy limit with limits in the $\infty$-category

In the Stacks project Tag 08TC, there is a definition of a homotopy limit in a derived category, and I expect it to compare with a limit in the $\infty$-categorical enhancement. I guess this is also ...

3
votes

2
answers

121
views

### Adjunctions and inverse limits of derived categories

Consider a tower $\dots\to A_{2}\to A_{1}$ of rings. This gives rise to a diagram $\mathbb{N}^{\text{op}}\to\text{Cat}_{\infty}$ of $\infty$-categories (confusing $\mathbb{N}^{\text{op}}$ with its ...

7
votes

0
answers

249
views

### Homotopy theory of differential objects

In Kashiwara and Schapira's wonderful book Categories and Sheaves, they define a category with translation to be a category $\mathsf{C}$ equipped with an auto-equivalence $S: \mathsf{C} \to \mathsf{C}$...

8
votes

0
answers

207
views

### What is the exact definition of the $\infty$-topos of sheaves on a localic $\infty$-groupoid?

The category $\mathrm{Locale}$ is equivalent to the category $0\text{-}\mathrm{Topos}$ .
The 2-category $\mathrm{LocalicGroupoid}$ (with suitable localization) is equivalent to the 2-category $1\text{...

5
votes

1
answer

238
views

### Do finitely presentable $\infty$-groupoids precisely correspond to the finite cell complexes?

In the Higher Topos Theory, Example 1.2.14.2 says “finitely presentable $\infty$-groupoids correspond precisely to the finite cell complexes” But, for example, $K(\mathbb{Z}, 2)$ is seems finitely ...

4
votes

0
answers

105
views

### Cocartesian fibration classifying $\mathrm{Fun}(F,G)$

Throughout this question we consider $\infty$-categories.
Fix a cartesian fibration $p : \mathcal{F} \to \mathcal{C}$ and a cocartesian fibration $q : \mathcal{G} \to \mathcal{C}$ which straighten to $...

2
votes

1
answer

223
views

### Filtered homotopy colimits of spectra

Let $\mathcal{I}: \mathbb{N} \to \operatorname{Sp}$ be a diagram in the infinity category of spectra. Let $\pi_0(\mathcal{I})$ denote the corresponding $1$-categorical diagram (i.e. compose $\mathcal{...

1
vote

1
answer

183
views

### Proof in Higher Algebra that $\mathcal{C}at(\mathcal{K})$ is presentable

In Higher Algebra Lemma 4.8.4.2, Lurie shows that for $\mathcal{K}$ a small set of simplicial sets, the $\infty$-category $\mathcal{C}at(\mathcal{K})$ of small $\infty$-categories with $K$-shaped ...

2
votes

1
answer

79
views

### Reference request-Natural equivalence detected pointwise for complete Segal spaces

I am looking for a reference for the following elementary assertion on complete Segal spaces:
Let $A$ be a bisimplicial set and let $W$ be a complete Segal space. A morphism of $W^A$ is an ...

9
votes

1
answer

408
views

### Is there a shape-independent definition of (∞,1)-categories?

For all definitions of $\infty$-categories I am aware of, an $(\infty,1)$-category is defined via reference to some shape, be it simplices in a form of a quasi-category or a cubical analogue of a ...

6
votes

1
answer

361
views

### A possible alternative model for $\infty$-groupoids

I've been studying homotopy theory on myself for quite some time now, and it is to my understanding that there's still no generally accepted definition for $\infty$-groupoids. The closest to this is ...

3
votes

0
answers

120
views

### $\mathbf{E}_n$-algebras in nerves of 2-categories

In Example 5.1.2.4 of Higher Algebra, Lurie explains how there is a bijection between equivalence classes braided monoidal structures on one-category $\mathcal{C}$ and $\mathbf{E}_2$-algebra ...

5
votes

1
answer

137
views

### Simplicial objects in quasicategory which come from homotopy coherent nerve

Let $\mathcal{C}$ be a simplicially enriched category whose Hom-objects are all Kan complexes. Denote by $N\mathcal{C}$ the homotopy-coherent nerve of $\mathcal{C}$, which is a quasicategory. Suppose ...

9
votes

1
answer

179
views

### Does $\infty$-categorical localization commute with taking directed fibered products?

Suppose we are given categories $\mathsf{C},\mathsf{D},\mathsf{E},$ equipped with collections of weak equivalences $\mathcal{W}_{\mathsf{C}},\mathcal{W}_{\mathsf{D}},$ and $\mathcal{W}_{\mathsf{E}},$ ...

3
votes

1
answer

105
views

### Reference request: the free adjunction being free as an $(\infty, 2)$-category?

This question is a particular case of Tim Campion's question.
Let $\mathrm{Adj}$ be the strict $2$-category corepresenting adjunctions, i.e., the free strict $2$-category generated by two objects $x, ...

3
votes

0
answers

74
views

### Is the pushforward of an exponentiable fibration along an exponentiable fibration again exponentiable?

Recall that functor $p\colon \mathcal{C} \to \mathcal{D}$ of $\infty$-categories is said to be an exponentiable fibration if the following equivalent conditions hold:
The pullback functor $p^*\colon \...

4
votes

1
answer

177
views

### Model categories: "equivalence" of finite limits and finite colimits

I am needing a reference for the following statement (in case it is true): Quillen functor between stable model categories preserve finite limits iff it preserves finite colimits.
For stable $\infty$-...

5
votes

1
answer

188
views

### Are $\infty$-categories functorially colimits of their simplices?

Let $\mathcal C$ be an $\infty$-category. If $C$ is a quasicategory modeling $\mathcal C$, then we have a coend decomposition
$$\mathcal C = \int^{[n] \in \Delta} \Delta[n] \times C_n.$$
This allows ...

6
votes

0
answers

195
views

### Higher categories using just simplicial sets

Is there a definition of $(\infty, n)$-category using just simplicial sets?
This is the case for $n \leq 2$.
Is the forgetful functor from saturated $n$-trivial complicial sets to simplicial sets an ...

7
votes

1
answer

255
views

### From the *usual* nerve of topological categories to $\infty$-categories

It is standard from work of Joyal and Lurie that there is a Quillen equivalence between the model category of simplicially enriched categories $Cat_\Delta$ and $\mathcal{S}\text{et}_\Delta$ with the ...

4
votes

0
answers

151
views

### Commuting homotopy colimits and arbitrary products in Spaces

Let $X : D \rightarrow Spc$ be a diagram with values in the $\infty$-category of spaces and $I$ some (discrete) set, not necessarily finite. ($D$ can be a 1-category if that makes statements easier, ...

10
votes

2
answers

529
views

### Effective epimorphisms and 0-truncations (HTT, 7.2.1.14)

In Proposition 7.2.1.14 of Higher Topos Theory, Lurie asserts the following:
Let $\mathcal{X}$ be an $\infty$-topos and let $\tau_{\leq0}:\mathcal{X}\to\tau_{\leq0}\mathcal{X}$ denote a left adjoint ...

3
votes

1
answer

160
views

### A fiber-like method to show equivalence of infinity categories

Suppose I have a functor of quasi-categories $f: \mathcal{C} \to \mathcal{D}$. I want to show a criterion like: "$f$ is an equivalence of $\infty$-categories if the homotopy fiber of $f$ ...

11
votes

1
answer

413
views

### Recasting straightening/unstraightening equivalence as $(\infty, 2)$-adjunction

This is a vague set of questions that relies on (possibly non-existent) generalizations of low-dimensional results, mostly because I don't know many of the technical details underlying the ...

4
votes

0
answers

89
views

### Equalizer-product formula for $(\infty, 1)$-limits

If $F : K \to C$ is a functor of ordinary categories and $C$ has products and equalizers, then there is an isomorphism
\begin{equation*}
\lim F \cong \mathrm{eq} \left( \prod_{k_0 \in K_0} F(k_0) \...

4
votes

2
answers

430
views

### Categorical equivalences vs. categories of simplices

Let $j: K\to K′$ be a categorical equivalence of simplicial sets. By [HTT, Remark 2.1.4.11], we have a Quillen equivalence (with the covariant model structures)
$$
j_!:\mathsf{sSet}_{/K}\...

5
votes

1
answer

211
views

### Connectedness of truncated version of cosimplicial indexing category

Let $F:\mathbf{\Delta}\to\mathcal{S}_{\leqslant n-1}$ be a cosimplicial object in the $\infty$-category of $(n-1)$-truncated spaces. Is it always a right Kan extension of its restriction along $\...

27
votes

5
answers

4k
views

### What is the motivation for infinity category theory?

To my understanding, most mathematical theories can be simply understood in the view point of Category theory and its derivative theories. But what exactly is the motivation to study infinity category ...

3
votes

0
answers

68
views

### $n$-truncation of a Simplicial Model Category

I'm working in the category of rational $CDGAs$ and trying to find a reference/construction of a natural $2$-categorical structure via truncation of the mapping spaces.
In my head, the key point is ...

1
vote

1
answer

251
views

### Limits of infinity categories and mapping spaces

Let $p:I\to Cat_{\infty}$ be a diagram of infinity categories, where $I$ is a small Kan complex. Let $C:=\lim p$ be the limit of $p$. For any two objects $x,y\in C$ and $i\in I$, let $x_i,y_i\in C_i=p(...

2
votes

2
answers

278
views

### Does the homotopy category of finite spectra act on stable homotopy categories?

Assume that C is a stable infinity category; $SH_{fin}$ is the homotopy category of finite spectra. Is there a canonical bi-functor (action? module structure?) $SH_{fin}\times hC \to hC$?
Is there any ...

5
votes

1
answer

213
views

### Cofinal maps from posets (HTT, 4.2.3.16)

I do not understand the proof of Variant 4.2.3.16 of Higher Topos Theory by Jacob Lurie, and I need help.
Variant 4.2.3.16 asserts the following:
($\diamond$) Let $K$ be a finite simplicial set. ...

2
votes

1
answer

140
views

### Is the symmetric monoidal product on the $\infty$-category of $R$-modules unique?

In Higher Algebra 4.2.8.19, Lurie shows that the symmetric monoidal structure on spectra is uniquely defined (on the $\infty$-category level) by the following properties:
The sphere spectrum is the ...

5
votes

2
answers

352
views

### Monomorphisms of diagrams in an $\infty$-category

Let $f,g\colon K\to \mathcal{C}$ be diagrams in a nice $\infty$-category $\mathcal{C}$. I have two general questions:
If I have a natural transformation $\eta\colon f\Rightarrow g$ which is a ...

4
votes

0
answers

93
views

### Localization and space of morphisms

I have a question regarding the proof of Proposition 2.19 of Factorization homology of topological manifolds by Ayala and Francis. In the final paragraph of the proof (more specifically, in the second ...

9
votes

2
answers

363
views

### Simplicial sets with horn filling conditions up to some fixed degree

Let $X_\bullet$ be a simplicial set such that some horn filling condition (inner horns fill/inner horns fill uniquely/all horns fill) holds up to dimension $n$ (i.e. for $\Lambda_i[p]$ for all $p\leq ...

4
votes

1
answer

145
views

### Homotopy totalization and chains - reference

Simple case. Take $X_{\bullet}$ a cosimplicial space. Is it true that the chain complex of its homotopy totalization is quasi-isomorphic to the homotopy totalization of its chain complex? Because of ...

4
votes

1
answer

189
views

### Gluing isomorphism in derived categories along filtered colimit

Let $X$ be a locally finite type algebraic stack $X$ (but feel free to pretend it's a scheme) with a presentation as the filtered colimit of finite type open substacks $U_i$. By descent, at the level ...

5
votes

1
answer

156
views

### Pushforward of cocartesian fibrations

Let $\pi : \mathcal{E} \to \mathcal{C}$ be a cocartesian fibration of $\infty$-categories which straightens to a functor $F : \mathcal{C} \to \mathrm{Cat}_\infty$. If $G : \mathcal{D} \to \mathcal{C}$ ...

2
votes

1
answer

348
views

### Why do we need enriched model categories?

As far as I understand, model categories mainly provide tools for studying the "homotopy theories" (that is, $\infty$-categories) that are ubiquitous in mathematics. From this point of view, ...

1
vote

0
answers

247
views

### Homotopy coherent nerve for algebraic model categories

Is a homotopy coherent nerve defined for algebraic model category that returns algebraic quasi-categories as Urs Schreiber wrote about? Or do we not know how to determine it / does it seem impossible?
...

2
votes

1
answer

81
views

### Comparion theorem between symmetric monoidal $\infty$-functor

Let $T,T'$ be symmetric monoidal $\infty$-categories. And let $F_1,F_2:T\to T'$ be symmetric monoidal functors and let $t:F_1\Longrightarrow F_2$ be a symmetric monoidal natural transformation from $...

6
votes

1
answer

137
views

### Is the functor $O$ from the simplex category to the category of orientals cofinal

Let $\Delta$ be the full subcategory of the category of small categories spanned by the non-empty totally ordered sets of the form $[n]$ for $n \geq 0$. Let $\mathfrak{O}$ be the full subcategory of ...

5
votes

1
answer

465
views

### Proving Zariski descent

I want to understand why the functor $\mathscr{D}$
sending an affine scheme to its associated derived
$\infty$-category satisfies Zariski descent. My understanding
is that one has to show that given a ...

5
votes

2
answers

276
views

### Reedy fibrancy and composition in Segal spaces

I am going through V. Hinich's "Lectures on Infinity Categories" and I have a (possibly trivial) question on Segal spaces.
We define Segal space to be a bisimplicial set $X$ which is fibrant ...

5
votes

1
answer

440
views

### Homotopy groups of categories of elements as higher colimits

Given a diagram of sets $D\colon\mathcal{C}\to\mathsf{Set}$, we have a bijection (Proof)
$$\operatorname{colim}(D) \cong \pi_0 (\textstyle\int_\mathcal{C}D).$$
Is there any known application or ...

4
votes

0
answers

382
views

### Formal properties of limits of $\infty$-categories

I want to understand the usage of $\infty$-categories
in the proof of Proposition 10.5 in the Condensed Mathematics
lecture notes available here: https://www.math.uni-bonn.de/people/scholze/Condensed....

5
votes

1
answer

175
views

### Homotopy coherent localisation of a ring spectrum $E$ at a subset of $\pi_0E$

Homotopy coherent Invertibility.
Similarly to how $\mathbb{E}_k$-commutative spectra are a homotopy-coherent version of homotopy commutative spectra, encoding commutativity with higher homotopies, we ...

3
votes

0
answers

135
views

### Higher theory o $C^{\ast}$-algebras and the $C^{\ast}$-algebra of a $\infty$-groupoid

Has someone already worked out what would be the infinity categorical analogue of the category of $C^{\ast}$-algebras? Given a groupoid $G$ we can associate a $C^{\ast}$-algebra $C^* (G)$, can we do ...

4
votes

1
answer

327
views

### The “field of fractions” of the sphere spectrum (localization at $\pi_0(\mathbb{S})\setminus\{0\}$, the non-zero integers)

Perhaps the most common construction of the rational numbers is the one given by taking the field of fractions $\mathrm{Frac}(\mathbb{Z})\cong\mathbb{Q}$ of the ring $\mathbb{Z}$ of integers.
I'm ...