## New answers tagged higher-category-theory

1
vote

### TR2 for homotopy category of stable $\infty$-category

I’d like to give some more details to complement Maxime’s answer.
$$\require{AMScd}
\begin{CD}
1 @>>> 2 @>>> 3 \\
@VVV @VVV @VVV \\
4 @>>> 5 @>>> 6 \\
@. @VVV @VVV \...

2
votes

### Composition map in $\infty$-categories

I had also been wondering about this for a while. I think I've figured this out.
First we observe that $\operatorname{St}_{\mathcal{C}}(\{x\})=\mathfrak{C}[\mathcal{C}](-,x)$; this follows by directly ...

4
votes

Accepted

### TR2 for homotopy category of stable $\infty$-category

"This is equivalent to the assertion that the construction of the large diagram computes the suspension functor $\Sigma$"
My previous answer was based on me misreading this quote :)
You want ...

10
votes

Accepted

### Proposition A.2.6.15 in HTT

Retracts of weak equivalences are weak equivalences.
Now if $f'$ is a retract of $f$ and you start with such a diagram with $f'$ on the left, you can create a new diagram with $f$, the same $X', X''$ ...

2
votes

Accepted

### Strictness of two operations on proarrow equipments

I believe the answer to (2) is yes.
First, apply the strictification theorem for bicategories twice, to make composition of arrows and proarrows both strictly associative. Thus, when our equipment is ...

5
votes

Accepted

### Is every folk cofibration of strict $\omega$-categories a monomorphism?

I just thought (or maybe remember) a neat proof of this fact. It involve ideas I worked on a few years ago but never published - but that's short enough so that I can explain the key ideas on MO. Let ...

9
votes

Accepted

### Is there a Dold-Kan theorem for circle actions?

No, they are not equivalent, even for $C = Sp$.
Indeed, the category of spectra with $S^1$-action is also the category of $\mathbb S[S^1]$-modules, and is compactly generated by a single object.
On ...

3
votes

Accepted

### Is there a "duality involution" on presentable categories?

The answer is no, even if you restrict to the full subcategory of $Pr^L$ spanned by the $Psh(C)$'s. I'll answer in the $1$-categorical case but : a- the $\infty$-categorical case follows because ...

5
votes

### Is there a "duality involution" on presentable categories?

$\newcommand\Pr{\mathit{Pr}}\newcommand\Pres{\mathit{Pres}}$Not an answer, but too long for a comment. Gabriel–Ulmer duality lends some intuition here. For simplicity I consider the finitely ...

5
votes

Accepted

### Is $\mathit{Topos}^\text{op} \to \mathit{Pr}^L$ monadic?

Regarding monadicity (rather than comonadicity), the (2-categorical variant of the) question is answered in Bunge–Carboni's The symmetric topos. In their paper, $\mathbf A$ denotes the 2-category of ...

Top 50 recent answers are included

#### Related Tags

higher-category-theory × 1070ct.category-theory × 671

homotopy-theory × 203

infinity-categories × 158

at.algebraic-topology × 152

simplicial-stuff × 112

model-categories × 90

reference-request × 86

higher-algebra × 70

topos-theory × 60

ag.algebraic-geometry × 53

infinity-topos-theory × 49

2-categories × 42

monoidal-categories × 34

homological-algebra × 32

stacks × 27

derived-algebraic-geometry × 24

limits-and-colimits × 22

topological-quantum-field-theory × 22

stable-homotopy × 21

operads × 20

enriched-category-theory × 20

simplicial-categories × 20

dg-categories × 17

derived-categories × 16