The infinity-categories tag has no usage guidance.

**7**

votes

**0**answers

154 views

### Testing for equivalences of $\infty$-categories on strictifications?

It is in general not too hard to show that maps between finite $CW$-complexes/finite simplicial sets are homotopy equivalences.
Question : Can we do something similar for:
quasi-categorical ...

**6**

votes

**0**answers

100 views

### Is there any survey of dg-categories from the $\infty$-category point of view?

I was reading this question on dg-categories and a comment by David Ben-Zvi says "An excellent pre-$\infty$-categorical overview is Keller's ICM address https://arxiv.org/abs/math/0601185".
I was ...

**3**

votes

**0**answers

137 views

### Is $Ind(N_{dg}(\mathcal{C})) \simeq N_{dg}(Ind(\mathcal{C}))$ for an additive category $\mathcal{C}$?

Let $\mathcal{C}$ be an additive category and let $N_{dg}(\mathcal{C})$ be the differential graded nerve of the differential graded category $Ch(\mathcal{C})$. This is a stable $\infty$-category.
...

**9**

votes

**0**answers

199 views

### Homotopy pullbacks of simplicial sets; Joyal vs Kan-Quillen model structures

I am interested in comparison of homotopy pullback squares in the category of simplicial sets with respect to Joyal' model structure and Quillen's one.
Suppose we are given a (strict) pullback square
...

**10**

votes

**0**answers

102 views

### Colimits of algebras for $\infty$-Monad

I would like to know in anyone has developed method for constructing colimits in the category of algebra for a monad in the $(\infty,1)$-categorical framework, using transfinite constructions.
I have ...

**7**

votes

**4**answers

375 views

### Localization of $\infty$-categories

In ordinary category theory, the localization $C[S^{-1}]$ at a class of morphisms $S$ (with possibly some assumptions on $S$) is a category $C[S^{-1}]$ together with a map $L:C \to C[S^{-1}]$ such ...

**6**

votes

**1**answer

269 views

### Physical consequences of cobordism hypothesis?

Let $C$ be a symmetric monoidal $n$-category. An extended framed $C$-valued TQFT is a symmetric monoidal functor from the framed bordism category $\mathrm{Cob}^{fr}_n(n)$ to $C$.
The cobordism ...

**10**

votes

**0**answers

207 views

### Comparing derived categories of quasi-coherent sheaves in the lisse-etale and the big etale toplogy on an algebraic stack

I am trying to understand the proof of Proposition 1.4.2. in "A study of derived algebraic geometry Volume 1" by Gaitsgory-Rozenblyum. http://www.math.harvard.edu/~gaitsgde/GL/QCohBook.pdf, page 8.
...

**2**

votes

**1**answer

170 views

### Coefficient (or target) category for factorization homology

In the article "Factorization homology of topological manifolds" by Ayala and Francis, a symmetric monoidal $\infty$-category $\mathcal{V}$ is fixed as the target or coefficient category. This ...

**7**

votes

**1**answer

156 views

### Simplicial nerve functor commutes with opposites

There are two "opposite" functors:
$$ op_\Delta\colon sSet\to sSet$$
and
$$op_s\colon sCat\to sCat.$$
The first takes a simplicial set to its opposite simplicial set by precomposing with the opposite ...

**15**

votes

**2**answers

307 views

### How can I functorially dualise in a symmetric monoidal $(\infty,1)$-category with duals?

If $\mathcal{C}$ is a symmetric monoidal $(\infty,1)$-category with duals, then there should be a functor
$$
d: \mathcal{C} \longrightarrow \mathcal{C}^{op}
$$
such that $d(x)$ is dual to $x$ for ...

**15**

votes

**1**answer

426 views

### Homotopy theories of operads

I know of three homotopy theories of colored operads.
The (derived) localization category of Berger-Moerdijk's model structure on the category of strict simplicial (or topological) operads, with weak ...

**9**

votes

**0**answers

382 views

### Floer cohomology from mapping spaces of $\infty$ categories

There's a meta-observation (of Urs Schreiber, who attributes it to Ken Brown and Lurie) that 'cohomology theories come from mapping spaces of $(\infty,1)$ categories'. This is described in detail at ...

**7**

votes

**2**answers

413 views

### Uniqueness of quasi-inverses in infinity categories

I've been trying to learn some of the basic language of infinity-category theory (in the sense of Lurie), and in particular, to understand which basic statements in (1-)categories have analogues in ...

**6**

votes

**1**answer

200 views

### Homotopy limit of model categories in the category of categories

Say $$\mathcal{C'}\to \mathcal{C}\leftarrow \mathcal{D}$$ is a diagram of model categories and (e.g. Left) Quillen functors. I want to write down a (hopefully simple) model category $\mathcal{D}'$, or ...

**8**

votes

**2**answers

258 views

### A map of spaces implementing the Pontryagin Thom collapse map? (collapse maps in families)

Let $M$ be an $n$ dimensional smooth manifold and let $j: M \to \mathbb{R}^{m}$ be an embedding. Associated to this embedding we can form the "collapse map" which is a pointed map from a sphere to the ...

**7**

votes

**1**answer

231 views

### Compatibility of Grothendieck construction with pullback

Suppose $D$ is an $\infty$-category, then we have the equivalence
$$ \text{Fib} (D) \substack{ \text{St} \\ \longrightarrow \\ \cong \\ \longleftarrow \\ \text{Un}} [ D^\text{op}, \mathbf{Kan}]$$
...

**7**

votes

**1**answer

161 views

### Construction for algebras over little cubes operad

Recently I came across the following construction:
Fix a dimension $k$. Let $C$ denote the space whose points are disjoint rectilinear embeddings $c\colon I^k\to \mathbb R^k$ of the (closed) $k$-...

**4**

votes

**2**answers

285 views

### Suspensions are H-cogroup objects

Do you know any reference where you have a formal justification for the following statement that appears in nLab?
https://ncatlab.org/nlab/show/suspensions+are+H-cogroup+objects
"Let $\mathcal{C}$ ...

**10**

votes

**0**answers

192 views

### Comonadicity of spaces over spectra?

As connective spectra are equivalent to group-like $E_{\infty}$ algebras in spaces, the $\infty$-category of connective spectra is monadic over the $\infty$-category of spaces though the usual $\Sigma^...

**7**

votes

**1**answer

157 views

### Can an enriched functor be expressed as a colimit of representable functors?

Suppose that $\mathcal C$ is an ordinary category and $F:\mathcal C^{op}\longrightarrow Set$ a functor. Then, we can form the category $\mathcal C/F$ as follows : each object is a morphism of functors ...

**4**

votes

**0**answers

111 views

### Interpretations of Whitehead's $\Gamma_n$ functors

(This is related to my earlier question on Kan's simplicial formula as Curtis mentions the link with the Hopf map, which has a very pretty formula that links well with the Samelson / Whitehead ...

**2**

votes

**1**answer

89 views

### When is the derived category $D(A)$ locally cartesian closed?

Let $D(A)$ be the derived $(\infty,1)$-category of some abelian category $A$. For which $A$ is $D(A)$ locally cartesian closed?
Replace $D$ with $D^b$ or similar if appropriate.
I essentially want ...

**4**

votes

**1**answer

267 views

### Is an ∞-topos of local homotopy dimension $\leq n$ of homotopy dimension $\leq n$?

[All references are wrt to Lurie's "Higher Topos Theory" in its latest online available version (March 10, 2012)]
Definition 7.2.1.8:
An ∞-topos $X$ is locally of homotopy dimension $\leq n$ if there ...

**5**

votes

**0**answers

221 views

### relative spectrum in derived algebraic geometry

I am trying to understand how much it is possible to extend the notion of spectrum of a qcoh sheaf of algebras to stacks.
More precisely, given a scheme $S$ and a stack $F$ of cohomological cdga's ...

**8**

votes

**1**answer

288 views

### Example of a (presentable $k$-linear $\infty$-)category which is dualizable but not compactly generated?

Is there an example of a presentable, stable, $k$-linear $\infty$-category which is dualizable but not compactly generated, where $k$ has characteristic zero, and which is $\text{QCoh}(X)$ (by which I ...

**8**

votes

**1**answer

187 views

### One colored infinity operads via symmetric sequences?

The question
One standard approach to the theory of 1-colored (symmetric) operads in classical 1-categorical theory is via monoids in symmetric sequences with respect to the composition product. Has ...

**3**

votes

**1**answer

149 views

### When the global section functor is a Cartesian fibration?

Given a Cartesian fibration $p : \mathbf{E} \to \mathbf{B}$ over an $\infty$-topos the paper by Marc Hoyois mentioned in his answer to this question gives some sufficient conditions for $\mathbf{E}$ ...

**4**

votes

**2**answers

169 views

### Generalizations of tangent $\infty$-topos

If $\mathbf{H}$ is an $\infty$-topos, then we can define a Cartesian fibration $p : T \mathbf{H} \to \mathbf{H}$ such that the fiber of $p$ over $X$ is the $\infty$-category of spectrum objects in $\...

**7**

votes

**0**answers

139 views

### Group objects in $\infty$-categories

A groupoid object in an $(\infty,1)$ category $\mathcal{C}$ is a functor $G:N(FinSet)^{op} \to \mathcal{C}$ such that for any partition $[n]=S \cup S'$ intersecting in $s$, the object $G([n]$ is the ...

**8**

votes

**3**answers

286 views

### Cofiber of the inclusion of an $E_0$-algebra $M$ into the free $E_k$-algebra generated by it

Let $\mathcal{C}$ be the $E_k$-monoidal $\infty$-category of left modules over a fixed connective $E_{k+1}$-ring spectrum $A$. Suppose that $M$ is an object of $\mathcal{C}$ which is an $E_0$-algebra, ...

**6**

votes

**0**answers

84 views

### (Reference Request) Tensor product of chain complexes in terms of strict $\infty$-categories

(note: this question is essentially a reference request for the tensor product described at the end. the rest is context)
It is well known that the category of chain complexes (in positive degree, ...

**10**

votes

**1**answer

503 views

### On HTT's Lemma 3.3.4.1

While studying the book Higher Topos Theory I have encountered some difficulty with Lemma 3.3.4.1, which says that the pullback along a cartesian fibration of a map q such that $q^{op}$ is cofinal is ...

**8**

votes

**0**answers

227 views

### Bar construction and the $\infty$-categorical Barr-Beck theorem

I am studying the proof of the $\infty$-categorical version of the Barr-Beck theorem in Lurie's Higher Algebra, but there is a step of the proof that is puzzling me. In Lemma 4.7.3.13, a simplicial ...

**12**

votes

**0**answers

347 views

### Functor of points definition of the Thom space

Let $X$ be a space (CW complex) and let $E \to X$ be a vector bundle.
Using the language of $\infty$-categories we can can define the Thom space $T(E)$ as the pointed space representing the ...

**7**

votes

**2**answers

346 views

### If the homotopy category is well-generated, must the $\infty$-category be presentable?

Suppose $\mathcal{C}$ is a stable $\infty$-category whose homotopy category is a well-generated triangulated category in the sense of Neeman's book. Must $\mathcal{C}$ be a presentable $\infty$-...

**6**

votes

**1**answer

269 views

### Complexes in stable categories

Generalizing from 1-category theory, there's a simple definition of a "naive complex" in a stable $\infty$-category. Considering bounded positive graded chain complexes, they are a sequence of maps
$$...

**6**

votes

**1**answer

407 views

### What's a (infinity-) semi-stack?

A stack is an object that mixes the notions of (algebraic) space and group. The key insight of stack theory is that most things you would want to do with spaces you can do with stacks: namely, you ...

**6**

votes

**2**answers

214 views

### Left adjoint of $I\colon \mathrm{Kan}\hookrightarrow\mathrm{WeakKan}$?

The inclusion $I\colon \mathbf{Grpd}\hookrightarrow\mathbf{Cat}$ of groupoids into categories has both a left and a right adjoint $L,R\colon \mathbf{Cat}\to \mathbf{Grpd}$, with $R(C)$ being largest ...

**7**

votes

**0**answers

224 views

### When does p-profinite completion commutes with maps from a $p$-finite space?

background
Let $\mathcal{S}$ be the ($\infty$-)category of spaces and $\mathcal{S}_{p-\text{finite}}$ the full subcategory spanned by the $p$-finite spaces (that is, the spaces with finitely many ...

**4**

votes

**0**answers

282 views

### Why do motivic stacks make sense?

In the paper "Motivic model categories and motivic derived algebraic geometry", Yuki Kato, whose email-address I sadly couldn't find out, describes a procedure to "motivy" the objects of any $(\infty,...

**8**

votes

**1**answer

552 views

### The universal property of the unseparated derived category

In Appendix C of his book in progress Spectral Algebraic Geometry, Lurie defines the unseparated derived category $\check{{\cal D}}({\cal A})$ (see Definition C.5.8.2 loc.cit) associated to a ...

**8**

votes

**1**answer

308 views

### Free loop space objects and actions

The free loop space object of an object $X$ in an $(\infty,1)$-category $\mathcal{C}$ can be defined as the pullback $\mathcal{L}X= X\times_{X\times X} X$. Unlike the based loop space, this is not ...

**4**

votes

**0**answers

223 views

### Categorical formalism for higher non-abelian group cohomology / obstruction theory for gerbes?

I'm sure this is very well known but I haven't found any references for this searching the internet so hence the question:
What's the neat abstract framework for obstruction theory for non-abelian ...

**9**

votes

**0**answers

295 views

### Is every weak $\infty$-bicategory (à la Lurie) an $\infty$-bicategory?

In Definition 4.1.1 of $(\infty,2)$-Categories and the Goodwillie Calculus I, Lurie defines a weak $\infty$-bicategory to be a scaled simplicial set that has the extension property with respect to ...

**7**

votes

**1**answer

381 views

### Homotopy theoretic description of homotopy fixed points (and obstructions) for an action of group $G$ on a groupoid $X$

There are several scattered statements about fixed points and obstructions which I'd very much like to see unified in some framework.
To state them let $G$ be a group acting on a connected (1-...

**8**

votes

**1**answer

311 views

### Is the $E_\infty$-structure on the cochain complex of a $K(G,n)$ readily understandable?

One way to construct an $E_\infty$-algebra is to consider the cochain complex $C^*(X;M)$ for $X$ a topological space and $M$ a module over some ring $\Lambda$. From what I can recall, the $E_\infty$-...

**2**

votes

**1**answer

304 views

### Criteria for being an $\infty$-category?

Let $\mathcal{C}$ be a simplicial category, such that for any two objects $X, Y\in\mathcal{C}$, $\text{Hom}_{\mathcal{C}}(X,Y)$ is a simplicial commutative monoid. Is the simplicial nerve $\text{N}(\...

**5**

votes

**2**answers

276 views

### Type Theory to Study $(\infty,n)$-Categories and $(r,n)$-Categories

The recent paper "A Type Theory for Synthetic $\infty$-Categories" proposes the syntax as the theory of the strict interval. In principle, any other suitable theory could be used instead. For instance,...

**2**

votes

**0**answers

138 views

### stable (?) model category of simplicial monoids

If $\mathcal{C}$ is the category of commutative unitary monoids, one can endow the category of simplicial objects in $\mathcal{C}$, $s\mathcal{C}$, with the structure of a cofibrantly generated model ...