The infinity-categories tag has no wiki summary.

**-3**

votes

**0**answers

17 views

### series of numbers [migrated]

I asked this question some time ago but was closed, but, I think it is interesting and I will ask again. So, if we have the formula
$$
\frac{(n+1)n}{2}=1+2+\dotsb+n
$$
now, if the difference ...

**12**

votes

**1**answer

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

**2**

votes

**0**answers

125 views

### A Cartesian model structure (and straightening for) on $n$-trivial simplicial sets

A pair $(X,tX)$, with $X$ a simplicial set and $tX$ a collection of simplices of $X$, is said to be stratified if no $0$-simplex is in $X$ and all degenerate simplices of $X$ are in $tX$. Recall a ...

**2**

votes

**1**answer

197 views

### When are homotopy categories of model categories closed modules over the homotopy category of $(\infty, 1)$-categories?

Let $\mathrm{Quillen}$ be the model category of simplicial sets with the Quillen model structure, and $\mathrm{Joyal}$ the model category of simplicial sets with the Joyal model structure.
As is ...

**2**

votes

**1**answer

185 views

### Showing left module actions are highly structured

For my own convenience I'll work in $\infty$-categories, feel free to answer in whatever framework best suits you. My question is essentially how to show, given an $E_\infty$-ring object $R$ in an ...

**1**

vote

**0**answers

153 views

### Under which conditions the inclusion of a sub-simplicial set of the nerve of a category is a Joyal equivalence?

Let $i: X \to \mathrm{N}\mathcal C$ be a monomorphism in the category of simplicial sets, with $\mathcal C$ a category and $\mathrm{N}\mathcal C$ its nerve. I am looking for sufficient conditions (and ...

**4**

votes

**1**answer

198 views

### Bar Construction Model of Ring Spectrum Quotient

Suppose I am given a morphism $f:BG\to BGL_1(R)$ for $R$ some at least $E_1$-ring spectrum and $G$ a loop space. Then This corresponds, I believe, to an action of $G$ on $R$, coming from a morphism ...

**7**

votes

**1**answer

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

**2**

votes

**0**answers

135 views

### Twisting of the power functor

Let $k$ be a field of characteristic $p$ and $D^b(k)$ be the infinity (equivalently, DG) category of perfect complexes over $k$. Let $C_p(=\mathbb{Z}/p)$ be the cyclic group on $p$ elements. For a ...

**3**

votes

**0**answers

162 views

### Straightening for $\infty$-operads

There is this straightening/unstraightening procedure of Jacob Lurie's which takes a symmetric monoidal $\infty$-category (which is the data of a coCartesian morphism of simplicial sets $C^\otimes\to ...

**6**

votes

**0**answers

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

**3**

votes

**1**answer

472 views

### Opposite Symmetric Monoidal Structure on an Infinity Category

Given an $\infty$-category (in the sense of Lurie) $C$, and a symmetric monoidal structure on $C$ associated to a coCartesian fibration $p:C^\otimes\to N(Fin_\ast)$, Lurie says in Remark 2.4.2.7 of ...

**2**

votes

**1**answer

141 views

### Is the discrete nerve of a small category a complete Segal space?

While reading Rezk's paper "A model for the homotopy theory of homotopy theory", I found a remark which contradicts a guess of mine, but I can't see where I am wrong (perhaps it might be a silly ...

**9**

votes

**1**answer

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

**5**

votes

**2**answers

154 views

### Localizations of model categories and $\infty$-categories

I am interested in the relation between Bousfield localizations of model categories and localizations of $(\infty,1)$-categories.
According to Hirschhorn's book we can form the left Bousfield ...

**0**

votes

**1**answer

123 views

### Clarification about Joyal's notation [closed]

At the very beginning of chapter 5 of Joyal's lectures on Quasi-Categories (http://mat.uab.cat/~kock/crm/hocat/advanced-course/Quadern45-2.pdf), he uses a notation which I think he has never ...

**3**

votes

**1**answer

257 views

### unbounded derived category of a $\infty$-topos

In HTT(Higher Topos Theory) Remark7.3.1.19, it it sketched that the proper base change theorem for $\infty$-topos implies the usual proper base change theorem in (unbounded) derived category. However, ...

**2**

votes

**0**answers

208 views

### Why care about Fourier-Mukai partners?

Two (smooth, projective, complex?) varieties are called Fourier-Mukai partners if they have equivalent derived categories of coherent sheaves. On the other hand, my general impression is that cool ...

**3**

votes

**1**answer

323 views

### Doing some homological algebra in triangulated categories

It's well known that chain complexes are an abelian category, and in particular we can consider chain complexes of chain complexes, i.e. double complexes. Given a double complex $A^{\bullet\bullet} ...

**3**

votes

**1**answer

190 views

### Do the algebras for a $\infty$-monad form a stable $\infty$-category?

I'm wondering if a monad $T$ on a stable $\infty$-category $\cal C$ has a stable $\infty$-category of algebras, provided $T$ preserves finite limits/colimits.
Is this true?
Edit: Is something ...

**14**

votes

**0**answers

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

**6**

votes

**1**answer

235 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

**0**answers

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

**4**

votes

**1**answer

213 views

### $t$-structure on modules over highly structured ring spectra

Let $Sp$ be a suitably nice model of a suitably nice category of spectra. By this I mean that $Sp$ is a symmetric monoidal closed stable model category, where we can make sense of homotopy "groups" ...

**2**

votes

**1**answer

149 views

### what is the stabilization of pointed sets?

Given a(n $\infty$-)category, there is a process called "stabilitazion" which spits out a stable $\infty$-category (as one can read about in either Higher Algebra or the nlab).
The famous example is ...

**4**

votes

**1**answer

230 views

### Higher Degree Data in a Cosimplicial Quasicategory and Delooping

If there is a short answer to this question and someone can write it here that'd be wonderful, but if it's longer, I'm also perfectly happy with a reference.
My question is regarding accessing data ...

**9**

votes

**0**answers

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

**2**

votes

**0**answers

114 views

### Unbounded derived category that is not left-complete

Let me first recall some definition: Let $A$ be a Grothendieck Abelian category. Then, then category $\mathrm{Ch}(A)$ (I am using homological indexing) admits a combinatorial model structure (see for ...

**8**

votes

**0**answers

157 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

**1**answer

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

**6**

votes

**0**answers

144 views

### Picard-Brauer exact sequence for infinity categories

This question may be very naive, or the answer may be well-known. In any case, a good amount of googling did not bring up anything useful (maybe I'm using the wrong words?).
If $f:A\to B$ is a ...

**8**

votes

**3**answers

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

**1**

vote

**0**answers

194 views

### Factorization systems in a triangulated/stable category

Google is of little help when questioned about "factorization systems in a triangulated category". Are there informations about them? Are there "natural" (meaning: "obviously defined") OFS/WFS in a ...

**13**

votes

**1**answer

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

**1**

vote

**2**answers

155 views

### DG categories - pre-triangulated versus small limits

A DG category can be considered as an infinity category, say by taking Dold-Kan of the coconnective part of Hom spaces, thus obtaining a simplicial category.
My question is, are the following ...

**9**

votes

**0**answers

204 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

**1**answer

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

**7**

votes

**1**answer

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

**6**

votes

**3**answers

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

**5**

votes

**1**answer

220 views

### Higher Descent Cohomology

Descent cohomology for a comonad is defined at degrees 0 and 1 by Mesablishvili in his paper "On Descent Cohomology" (as well as by many other authors in many other contexts). For a comonad $\bot$ on ...

**3**

votes

**1**answer

267 views

### Relation between hypercompleteness and the property that Cech cohomology calculates sheaf cohomology

Let $C$ be a small site with fibre products. The (injective) Čech model structure on simplicial presheaves $\operatorname{sPre}(C)$ on $C$ presents an $(\infty,1)$-topos and one may ask if this ...

**8**

votes

**1**answer

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

**6**

votes

**0**answers

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

**2**

votes

**0**answers

275 views

### Categories of sheaves and Kan Extensions

This is quite a broad question regarding constructions of categories of sheaves in geometry.
Let $\textbf{Sch}$ denote the category of schemes. Let $\textbf{SchAff}$ denote the full subcategory of ...

**10**

votes

**2**answers

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

**6**

votes

**0**answers

155 views

### Lex $\infty$-colimits

In the paper lex colimits, Garner and Lack gave a general characterization of "exactness properties" for categories (and enriched categories). A "lex-weight" is a weight for colimits whose domain ...

**6**

votes

**2**answers

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

**13**

votes

**2**answers

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

**3**

votes

**1**answer

193 views

### Does Ind-completion commute with finite limits?

The broad and vague question is in the title. The more precise question is:
Say $\{\mathcal{C}_i\}$ is a finite diagram of (essentially small) stable $\infty$-categories and exact functors with ...

**10**

votes

**2**answers

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