Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

The tag has no usage guidance.

7
votes
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
4answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
2answers
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
3answers
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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 ...