The higher-category-theory tag has no wiki summary.

**6**

votes

**3**answers

1k views

### Infinity-categories vs Kan complexes

Hi all,
It is known (cf. Lurie's book "Higher Topos Theory", for instance) that higher ($\infty$-) category, in particular topological higher ($\infty$-) groupoids are "better" defined as weak Kan ...

**52**

votes

**6**answers

15k views

### What are Jacob Lurie's key insights?

This question is inspired by this Tim Gowers blogpost.
I have some familiarity with the work of Jacob Lurie, which contains ideas which are simply astounding; but what I don't understand is which key ...

**22**

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

**10**

votes

**5**answers

1k views

### Computations in $\infty$-categories

Direct to the point.
Since now I've looked a lot of presentations of $\infty$-categories, but it seems that the only way to do explicit computations on these objects is via model categories. Is that ...

**8**

votes

**4**answers

704 views

### Limits in an $(\infty,1)$-category

In ordinary category theory, the notion of limit in a category $C$ is usually formulated with a category (of indices) $J$ and a functor $F:J\to C$ (a diagram in $C$), and a limit of this diagram is ...

**18**

votes

**3**answers

2k views

### Homology theory constructed in a homotopy-invariant way

Singular homology sends homotopic morphisms on equal morphisms and weakly equivalent spaces on isomorphic objects. So singular homology is in fact defined on the homotopy category of topological ...

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

**4**

votes

**1**answer

562 views

### references for models of stable infinity categories

There's a fair amount of literature comparing different models for the homotopy theory of homotopy theories, or the homotopy theory of $(\infty,1)$-categories. Julie Bergner has a survey of this ...

**9**

votes

**0**answers

510 views

### Cohesive ∞-toposes for analytic geometry

There is a class of big ∞-toposes that come with a good supply of intrinsic notions of differential geometry and differential cohomology: called cohesive ∞-toposes (after Lawvere's cohesive toposes).
...

**8**

votes

**2**answers

776 views

### Are grothendieck universes enough for the foundations of category theory?

Grothendieck universes are equivalent to ZFC+a strongly inaccessible cardinal. This is low on the large cardinal axiom list. Is it enough to place category theory on a firm foundational basis, and how ...

**7**

votes

**2**answers

405 views

### Categorification of coends and ends

I describe below a categorified version of the coend construction, "2-coend" for short. It takes as input a collection of 1-categories $\{W_{xy}\}$ which afford left and right representations of a ...

**11**

votes

**1**answer

834 views

### The reflexive free-category comonad-resolution is a cofibrant replacement of the discrete simplicial category associated with an ordinary category in the Bergner model structure on the category of small simplicial categories?

Let $X$ be the category of reflexive quivers, and let $Cat$ be the category of small categories. There exists an evident forgetful functor $U:Cat\to X$ sending a category $A$ to its underlying ...

**8**

votes

**1**answer

269 views

### Adjoining adjoints in a 2-category

For a given 2-category $C$, does there exist a faithful and locally faithful 2-functor $C \to C^*$, such that the image of every 1-morphism of $C$ has a right adjoint in $C^*$?
Below are some of my ...

**5**

votes

**2**answers

1k views

### Generalized Categories for “Higher Homotopy Groupoids”

I was thinking about the definition of higher homotopy groups $\pi_n$ of a topological space in comparison to the common extremely formal fundamental groupoid construction of $\pi_1$. I'd like to be ...

**4**

votes

**0**answers

213 views

### Commutation of simplicial homotopy colimits and homotopy products in spaces

Edit: The claim below is wrong, as explained in the comments,
because infinite homotopy products of simplicial sets require their components to be fibrantly replaced first, unlike finite homotopy ...

**2**

votes

**1**answer

359 views

### A simple definition of n-category [closed]

Maybe there is no simple definition of $n$-category understandable for a physicist. Then I would like to know what are the trivial $0$-category, trivial $1$-category, trivial $2$-category, etc. How ...

**9**

votes

**1**answer

337 views

### Local smallness and (higher) topoi

The $2$-category of topoi and geometric morphisms is not locally small. For example, if $A$ is the classifying topos for abelian groups, the category of geometric morphisms from $Set$ to $A$ is ...

**8**

votes

**1**answer

291 views

### The state of the art in the rectification of homotopy-coherent structures

My question concerns rectification theorems for homotopy-coherent structures. As the meaning of this may be unclear, let me list a few examples of what I am thinking of:
Cordier and Porter proved a ...

**5**

votes

**2**answers

345 views

### Homotopy factorization of morphisms of chain complexes

This is a sort of follow up to this MO question.
Let $R$ be a ring (eventually with good properties) and $\mathrm{Chains}(R)$ be the category of chain complexes of $R$-modules (eventually bounded). ...

**5**

votes

**1**answer

315 views

### Is the category of group objects in an $(\infty,1)$-topos reflective as a subcategory of the groupoid objects?

Let $C$ be an $(\infty,1)$-topos. The $(\infty,1)$-category of group objects in $C$ is a full sub-$(\infty,1)$-category of groupoid objects in $C$:
$${\mathsf{Grp}}(C) \hookrightarrow ...

**5**

votes

**2**answers

325 views

### Is the site of (smooth) manifolds hypercomplete?

By site of manifolds Man, I mean the category of manifolds (maybe submanifolds to obtain a small category) with continuous maps between them. A Grothendieck topology is given by open covers. Actually, ...

**3**

votes

**1**answer

252 views

### How can I see that the slice of a presheaf category is equivalent to the presheaf category of the category of elements?

Let $\mathcal{C}$ be a small category and $P$ a presheaf on $\mathcal{C}$. Then there is an equivalence $$\widehat{\mathcal{C}} / P \cong \widehat{\int_{\mathcal{C}}} P$$ Now there are (at least) two ...

**4**

votes

**1**answer

105 views

### Good properties of the $H^0$ functor (from quasi-functors to ordinary functors)

Let $\mathcal A, \mathcal B$ be dg-categories over a field $k$. I denote by $\mathcal{RHom}(\mathcal A,\mathcal B)$ the dg-category (defined up to quasi-equivalence) which gives the internal hom in ...

**3**

votes

**1**answer

102 views

### Reconstructing a morphism of exact triangles in the homotopy cat. of a dg-cat. using a “functorial cone map”

I set this problem in the framework of (pretriangulated) dg-categories; everything can probably be translated in the world of stable $(\infty,1)$-categories.
Let $\mathcal A$ be a pretriangulated ...

**3**

votes

**0**answers

100 views

### On the preservations of certain colimits (by covers) under simplicial localization (of a category of fibrant objects)

Suppose I have a category of fibrant objects $\mathcal{C}$ (with weak equivalences $W$ and fibrations $F$) together with a subcanonical Grothendieck pre-topology $J$ whose covering families consist of ...

**2**

votes

**0**answers

154 views

### Is continuity of a functor stable under pullback?

Let $p:C\rightarrow D$, $i:F\rightarrow D$ be functors of 2-categories, and we form the lax pullback of $p$ along $i$ $$
\bar{p}:C\times_D^{lax} F\rightarrow F$$
Q1: Is it true that if $p$ ...