The infinity-categories tag has no usage guidance.

**6**

votes

**0**answers

360 views

### Cohesive ∞-Toposes

Say an $\infty$-topos $\mathbf{H}$ is cohesive if its global section geometric morphism $\Gamma : \mathbf{H} \to \infty \mathrm{Grpd}$ admits a further left adjoint $\Pi$ and a further right adjoint ...

**10**

votes

**1**answer

390 views

### Is the model category of Complete Segal Spaces right proper?

Well, the title is self-explaining, I guess - I am referring to the complete Segal space model structure of Theorem 7.2 in Rezk's article "A model for the homotopy theory of homotopy theories".
Has ...

**1**

vote

**2**answers

751 views

### What does coinfinite mean?

I'm reading up on maximal sets and the word "coinfinite" pops up in the first sentence. I tried searching on Wolfram Mathworld as well as Google, but nothing concrete has come up. What does it mean ...

**18**

votes

**1**answer

1k views

### The Dold-Thom theorem for infinity categories?

Let $\mathcal{M}$ denote the category of finite sets and monomorphisms, and let $\mathcal T$ denote the category of based spaces. For a based space $X \in \mathcal T$, one has a canonical funtor $S_X ...

**4**

votes

**1**answer

513 views

### Fibrations of Simplicial sets

Hello,
Maybe it is too vague a question, but I would like to ask if anybody could say some explanatory words about the importance (for infinity category study) of studying all the kinds of fibrations ...

**3**

votes

**2**answers

422 views

### (∞,1) vs Category weakly enriched over spaces

What is the difference between:
($\infty,1$) categories - in which have for two objects you have an ($\infty,0$) category of morphisms (i.e. a space of morphisms)
and
categories weakly enriched ...

**5**

votes

**1**answer

628 views

### Spectra and localizations of the category of topological spaces

Can we construct the category of spectra (or maybe just its homotopy category) from the category of pointed topological spaces
using some kind of localization combined with other categorical ...

**13**

votes

**1**answer

679 views

### Stable ∞-categories as spectral categories

Let C be a stable ∞-category in the sense of Lurie's DAG I. (In particular I do not assume that C has all colimits.) Then C does have all finite colimits, the suspension functor on C is an ...

**7**

votes

**2**answers

1k views

### The Yoneda Lemma for (oo,1)-categories?

According to this page on the nLab, it is currently unclear whether or not the entire Yoneda lemma generalizes to $(\infty ,1)$-categories rather than just the Yoneda embedding. Have there been ...

**9**

votes

**1**answer

699 views

### Cyclic spaces and S^1-equivariant homotopy theory

I'm trying to understand the relationship between cyclic spaces and S1-equivariant homotopy theory. More precisely, I only care about S1-spaces up to equivalence of fixed point spaces for the finite ...

**8**

votes

**4**answers

1k views

### Categories which are not compactly generated

Do you know natural examples of triangulated categories (or [presentable] stable $\infty$-categories) which are not compactly generated? (ideally they'd be defined algebraically, but curious to hear ...

**8**

votes

**1**answer

345 views

### Stable presentable categories as module categories

There is a theorem of Schwede and Shipley which classifies categories of modules over an A∞ ring spectrum as those stable presentable (∞,1)-categories with a compact generator. Suppose I ...

**23**

votes

**4**answers

2k views

### (∞, 1)-categorical description of equivariant homotopy theory

I'm trying to learn a bit about equivariant homotopy theory. Let G be a compact Lie group. I guess there is a cofibrantly generated model category whose objects are (compactly generated weak ...