The tag has no wiki summary.

learn more… | top users | synonyms

32
votes
4answers
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 ...
21
votes
1answer
10k 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 ...
21
votes
4answers
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 ...
21
votes
2answers
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 ...
18
votes
1answer
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 ...
17
votes
2answers
533 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 ...
17
votes
0answers
615 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 ...
15
votes
4answers
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
2answers
702 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 ...
13
votes
2answers
560 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 ...
11
votes
2answers
1k 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 ...
11
votes
1answer
402 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 ...
11
votes
1answer
607 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 ...
11
votes
0answers
163 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
1answer
307 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
2answers
561 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 ...
10
votes
1answer
322 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 ...
9
votes
2answers
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
1answer
598 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
1answer
223 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 ...
8
votes
3answers
595 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
4answers
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
2answers
759 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?). ...
8
votes
3answers
793 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 ...
8
votes
1answer
247 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
0answers
181 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 ...
8
votes
0answers
347 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
0answers
242 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 ...
7
votes
2answers
323 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 ...
7
votes
1answer
307 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
1answer
164 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
2answers
379 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
2answers
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 ...
6
votes
1answer
554 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
3answers
339 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
1answer
149 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
2answers
271 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
1answer
302 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
0answers
122 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 ...
6
votes
0answers
152 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 ...
5
votes
2answers
585 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 ...
5
votes
1answer
358 views

Presheaves on a complete Segal space

Let C be an $(\infty,1)$-category, incarnated as a complete Segal space, hence in particular a bisimplicial set. Is there a model structure on the slice category of bisimplicial sets over C which ...
5
votes
1answer
217 views

Slices of infinity sheaves

I know from classical category theory that if $C$ is a small category and $X$ is a presheaf, that there is a canonical equivalence $$Set^{C^{op}}/X \simeq Set^{\left(C/X\right)^{op}},$$ where $C/X$ is ...
5
votes
1answer
206 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 ...
5
votes
0answers
332 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 ...
4
votes
1answer
483 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 ...
4
votes
0answers
121 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 ...
4
votes
0answers
195 views

Infinity-groupoid on the etale site of a scheme.

Let $X$ be a topological space. We may naturally associate to $X$ a simplicial set which is a Kan complex. This in turn gives rise to the fundamental $\infty$-groupoid associated to $X$. From this ...
4
votes
0answers
365 views

New model Structure on $E_{\infty}$-algebras?

Let $\mathbf{sSet}$ be the category of simplicial sets. Is it possible to put a new model structure on $\mathrm{E}_{\infty}$-algebra (of simplicial sets) such that the weak equivalences and fibrations ...
3
votes
2answers
382 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 ...