The infinity-categories tag has no wiki summary.

**37**

votes

**4**answers

2k views

### Is there an accepted definition of $(\infty,\infty)$ category?

For probably twenty years, category theorists have known of some objects in the Platonic universe called "(weak) $\infty$-categories", in which there are $k$-morphisms for all $k\in \mathbb N$, with ...

**29**

votes

**1**answer

13k views

### If I want to study Jacob Lurie's books “Higher Topoi Theory”, “Derived AG”, what prerequisites should I have?

I've been told that it's important to know modern physics, Differential Geometry and Algebraic Topology for understanding higher structures. Is there any other prerequisite for understanding Lurie's ...

**24**

votes

**2**answers

1k views

### generalisations of the Seifert-van Kampen Theorem?

I have been reading Jacob Lurie's book "Higher Algebra", version May 8, 2011. One is grateful to him for covering such a lot of ground and for making it all so readily available.
My attention was ...

**22**

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 ...

**18**

votes

**2**answers

562 views

### Limitations on model-categorical presentations

In higher category theory, it is common that a weak structure cannot be strictified in all directions simultaneously. For instance, a monoidal category is not (in general) equivalent to one that is ...

**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 ...

**18**

votes

**0**answers

649 views

### $\infty$-topos and localic $\infty$-groupoids?

It's known that every classical (Grothendieck) topos is equivalent to the topos of sheaves on a localic groupoid (a groupoid in the category of locales).
For the record, this is proved by, starting ...

**16**

votes

**2**answers

807 views

### Internal categories in simplicial sets

Is there a model structure (or more generally a homotopy theory) on the category of internal categories in simplicial sets, which presents the theory of $(\infty,1)$-categories?
Note that this ...

**15**

votes

**4**answers

1k views

### Proof that the homotopy category of a stable $\infty$-category is triangulated

I've been looking at various general strategies for proving that some category is triangulated, and Lurie manages to prove that a huge class of interesting examples of categories that we know about ...

**15**

votes

**0**answers

278 views

### Chromatic Spectra and Cobordism

I apologize in advance, if some of the things I've written are incorrect.
The cobordism hypothesis states that $\mathbf{Bord}^\mathrm{fr}_n$ is the free symmetric monoidal $(\infty,n)$-category with ...

**13**

votes

**2**answers

654 views

### $\infty$-categorical interpretation of type theory

One can read at several places that Martin-löf type theory should be the internal language of a locally Cartesian closed infinity category, and that the univalence axiom should distinguished infinity ...

**13**

votes

**1**answer

511 views

### On a question motivating Lurie's treatment of formal moduli problems

Lurie, in his ICM 2010 proceedings paper Moduli Problems for Ring Spectra (pdf), says that one motivating problem (for him, I presume, and possibly others) for thinking about formal moduli problems is ...

**12**

votes

**2**answers

2k views

### What is a symmetric monoidal $(\infty,n)$-category?

This question arose from reading Jacob Lurie's "Classification of topological field theories" paper. In that paper, he uses complete $n$-fold Segal spaces as a model for $(\infty,n)$-categories, but ...

**12**

votes

**2**answers

715 views

### Does the classification diagram localize a category with weak equivalences?

Let $(C,W)$ be a category equipped with a subcategory of weak equivalences. Its "classification diagram" or "bisimplicial nerve" $N(C,W)$ is a bisimplicial set, for which $N(C,W)_n$ is the nerve of ...

**12**

votes

**1**answer

656 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 ...

**12**

votes

**1**answer

380 views

### Lemma 2.1.1.4 in Lurie's HTT

I have encountered a problem in understanding Lurie's proof of the following fact:
"Given a left fibration between simplicial sets $q:X \to S$, there exists a functor $$ho(S) \to Ho(sSet)$$ which is ...

**12**

votes

**0**answers

195 views

### Constructible derived category and fundamental category

Introduction (may be skipped)
Given a nice topological space $X$, the category of local systems (say over a field $k$) on it is equivalent to the category of representations of its fundamental ...

**10**

votes

**2**answers

456 views

### Correspondence between operads and $\infty$-operads with one object

Given a simplicial operad one can form its category of operators. This is a simplicial category with a functor to the category of finite pointed sets which is a bijection on objects and whose ...

**10**

votes

**1**answer

344 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 ...

**10**

votes

**2**answers

546 views

### What is a Homotopy between $L_\infty$-algebra morphisms

A $L_\infty$-algebra can be defined in many different ways. One common way, that
gives the 'right' kind of morphisms, is that a $L_\infty$-algebra is a graded cocommutative and coassociative ...

**10**

votes

**1**answer

348 views

### Are $\infty$-topoi determined by their localic points ?

Hello !
If $T$ is an infinity topos, then you can consider the infinity category of geometric morphism from $Sh_{\infty}(\mathcal{L})$ to $T$ for any locale $\mathcal{L}$. This associate to $T$ an ...

**10**

votes

**1**answer

489 views

### Non-unique splittings of homotopy idempotents

By a homotopy idempotent I mean a map $f:X\to X$, where $X$ is a space, equipped with a homotopy $f\circ f \sim f$. In contrast to the situation in stable homotopy theory (where $X$ would be a ...

**10**

votes

**0**answers

265 views

### Adjoint functor theorem for infinity categories

In HTT, a version of the adjoint functor theorem for (locally) presentable infinity categories is proven (Corollary 5.5.2.9). Is there a more refined version of this somewhere, which more closely ...

**9**

votes

**2**answers

1k views

### Semi-simplicial versus simplicial sets (and simplicial categories)

Hi,
Let's denote by "semi-simplicial set" a simplicial set without degeneracies, i.e. a contravariant functor from the category $\Delta_{inj}$ of finite linearly ordered sets and order preserving ...

**9**

votes

**2**answers

973 views

### Stable infinity categories vs dg-categories

What is the relation between dg-categories and stable $\infty$-categories?
Given a dg-category one can form its dg-nerve and get a $\infty$-category
(which will be stable if the dg-category is?).
...

**9**

votes

**3**answers

944 views

### how to make the category of chain complexes into an $\infty$-category

I'd like to have some simple examples of quasi-categories to understand better some concepts and one of the most basic (for me) should be the category of chain complexes.
Has anyone ever written down ...

**9**

votes

**1**answer

635 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 ...

**9**

votes

**1**answer

289 views

### Equivariant homotopy, simplicially

It is a classic result of Kan that the homotopy categories (with appropriate model structures) of simplicial sets and of topological spaces (in fact, one could only care about CW-complexes) are ...

**9**

votes

**0**answers

259 views

### Other examples of the algebro-geometric Ran space

First off, sorry if this seems vague.
Let's recall some definition. Let $X$ be a curve over a field $k$ and $G$ an algebraic group, then the space $Ran_G(X)$ as defined by Lurie in his Tamagawa ...

**9**

votes

**0**answers

208 views

### Are n-truncated quasicategories a model for n-categories?

In Higher Topos Theory, Lurie gives a description of $n$-categories (section 2.3.4) in terms of quasicategories. In other words, he gives a definition (2.3.4.1) of an $\infty$-categorical notion of ...

**9**

votes

**0**answers

411 views

### The category theory of $(\infty, 1)$-categories

There are many proposed models for the theory of $(\infty, 1)$-categories and it has now been shown that many of these theories have Quillen-equivalent model categories, i.e. that they are equivalent ...

**8**

votes

**3**answers

915 views

### Grothendieck's Homotopy Hypothesis - Applications and Generalizations

Grothendieck's homotopy hypothesis, is, as the $n$lab states:
Theorem: There is an equivalence of $(∞,1)$-categories $(\Pi⊣|−|): \mathbf{Top} \simeq \mathbf{\infty Grpd}$.
What are the ...

**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

258 views

### When is a quasicategory over $N(\Delta)^{op}$ a planar $\infty$-operad?

In Lurie's DAG II, a notion of monoidal $\infty$-category is given that differs from the notion given in his later book Higher Algebra. In the former, the relevant structure is a cocartesian ...

**8**

votes

**1**answer

276 views

### Loops and suspensions of higher categories

Given a pointed $(\infty,n)$-category $\mathcal{C}$, one can define the suspension of $\mathcal{C}$, $\Sigma\mathcal{C}$, via the homotopy pushout of $$\ast\leftarrow \mathcal{C}\rightarrow \ast.$$ ...

**8**

votes

**0**answers

161 views

### Does simplicial localization with a 3-arrow calculus commute with functor categories?

Let $(C,W)$ be a category with a class of weak equivalences, and $D$ a small category. Then I can form the diagram category $(C^D,W^D)$ with objectwise weak equivalences, and its simplicial ...

**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 ...

**7**

votes

**1**answer

319 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 ...

**7**

votes

**1**answer

176 views

### When does simplicial localization commute with functor categories?

Let $(C,W)$ be a category with a class of weak equivalences, and $D$ a small category. Then I can form the diagram category $(C^D,W^D)$ with objectwise weak equivalences, and its simplicial ...

**7**

votes

**1**answer

217 views

### Which morphisms of ring spectra are of effective descent for modules?

There is a well understood bifibration of $\infty$-categories over the $\infty$-category of commutative ring spectra whose fiber over a ring $R$ is the category of $R$-module spectra. This is in ...

**7**

votes

**1**answer

356 views

### Generalized Thom spectra

I am currently trying to wrap my head around all kinds of different definitions of the notion of (generalized) Thom spectrum. My setup is as follows: Suppose I have a commutative (symmetric) ring ...

**7**

votes

**0**answers

219 views

### Why does $Mf$ always support an $Mf$-orientation?

Let $f:X\to BGL_1(\mathbb{S})$ be a morphism of $E_n$-spaces and determine a principle $GL_1(\mathbb{S})$-bundle over $X$. Then it can be shown in the classical case that there is always a Thom ...

**6**

votes

**1**answer

242 views

### Is there an $(\infty,2)$-category with morphisms given by $D^b\text{Coh}$?

My question is:
Has anyone constructed an $(\infty,2)$-category whose objects are (projective, maybe smooth, ...) varieties, and where the 1-morphisms from $X$ to $Y$ are given by ...

**6**

votes

**1**answer

720 views

### $(\infty, 1)$-Yoneda embedding via the Grothendieck construction

Let $C$ be a quasi-category. Then there is an imbedding
$$ C^{op} \times C \to \mathrm{Kan}$$
where $\mathrm{Kan}$ is the quasi-category of Kan complexes. This is essentially constructed in Lurie's ...

**6**

votes

**3**answers

440 views

### classifying $\infty$-toposes for topological/localic groups?

Let $G$ be a locally compact topological group (or more generally a localic group). Is there an infinity topos which classify principal $G$ bundles ?
More precisely, is there an $\infty$-topos $BG$ ...

**6**

votes

**2**answers

293 views

### Coequalizers in stable (infinity,1)-categories

I have read it claimed in several places that in a stable $(\infty,1)$-category, the coequalizer of parallel maps $f,g:X\to Y$ can be identified with the cokernel of $f-g$ (i.e. the pushout of the map ...

**6**

votes

**1**answer

313 views

### How equivalent are the theories of reduced and groupal $\infty$-groupoids?

I hope that my question is sufficiently trivial that someone will be able to give me a pedantic answer, and not so trivial that no one takes the time to give an answer. My motivation for asking this ...

**6**

votes

**1**answer

214 views

### Compact objects in undercategories and filtered colimits

Let $\mathcal{C}$ be a compactly generated presentable $(\infty, 1)$-category. Consider the functor
$$ \Phi: \mathcal{C} \to \mathrm{Cat}_\infty, \quad x \mapsto (\mathcal{C}_{x/})^\omega,$$
that ...

**6**

votes

**0**answers

265 views

### A model category for descent?

Recall that an $(\infty,1)$-category $C$ is said to have descent if for any small diagram $X:I\to M$ with (homotopy) colimit $\overline{X}$, the adjunction between $C/\overline{X}$ and "equifibered" ...

**6**

votes

**0**answers

259 views

### What is a stable $(n,1)$-category?

My question in its simplest form is whether we have any understanding of stable $(n,1)$-categories, by analogy with stable $(\infty,1)$-categories and abelian categories (the latter being like "stable ...