Tag Info

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 \...
• 941

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 ...
• 223
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 ...
• 8,310
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''$ ...
• 8,310
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 ...
• 59k
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 ...
• 32.3k
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 ...
• 8,310
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 ...
• 8,310

Is there a "duality involution" on presentable categories?

• 5,045
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 ...