## New answers tagged higher-category-theory

5
votes

### Is the Grothendieck construction a homotopy pullback?

The analogy is of course a correct/useful analogy, but I think any model structure for which the literal statement is correct must have $Set_* \simeq *$, so it would be a bit too coarse to do anything ...

21
votes

Accepted

### Useful ideas in category theory which violate the principle of equivalence

I would think about this question in this way: If you have a construction that violates the equivalence principle then either (A) it is a strictified or simplified version of something that is ...

Community wiki

3
votes

Accepted

### Does forgetting colimits preserve colimits?

Here is an example showing that $U_{\tau, \kappa}$ does not preserve pushouts for any pair of regular cardinals $\tau > \kappa$. Let $C = \tau$, where here $\tau$ is thought of as an ordinal (i.e. ...

4
votes

### Are $\infty$-categories functorially colimits of their simplices?

This is just an expended version of the comment. The answer to the question as asked is no.
The problem is that for any ($\infty$-)category $J$ the category $D_J$ of functors $J \to Cat_\infty$ that ...

1
vote

### Does forgetting colimits preserve colimits?

Here's an example to play around with, with $\kappa = \omega$ and $\tau = \omega_1$ and $Vect = Vect_k$ for $k$ a finite field, look at the pushout of $Vect \leftarrow Set \to Vect$, where both ...

2
votes

### resolution property and perfect stacks

A quasi compact and quasi-separated scheme has its derived category of sheaves of modules with quasi-coherent cohomology generated by perfect complexes. This is actually a theorem of Bondal and Van de ...

5
votes

Accepted

### From the *usual* nerve of topological categories to $\infty$-categories

The answer to Question (ii) is positive. That is to say, there is a weak equivalences between the following functors from Segal topological categories to quasicategories: the composition of the ...

Top 50 recent answers are included

#### Related Tags

higher-category-theory × 1234ct.category-theory × 776

homotopy-theory × 241

infinity-categories × 208

at.algebraic-topology × 166

simplicial-stuff × 129

model-categories × 104

reference-request × 99

higher-algebra × 85

topos-theory × 69

infinity-topos-theory × 65

ag.algebraic-geometry × 61

2-categories × 47

monoidal-categories × 37

homological-algebra × 36

stacks × 28

limits-and-colimits × 27

topological-quantum-field-theory × 26

derived-algebraic-geometry × 26

stable-homotopy × 25

operads × 24

enriched-category-theory × 23

simplicial-categories × 21

derived-categories × 20

sheaf-theory × 17