Search Results

Recall that functor $p\colon \mathcal{C} \to \mathcal{D}$ of $\infty$-categories is said to be an exponentiable fibration if the following equivalent conditions hold: The pullback functor $p^*\colon …

It is now known that the $\infty$-category of $\infty$-operads as defined by Lurie is equivalent to the underlying $\infty$-category of the model category of simplicial operads, see http://arxiv.org/p …

For (2) I suggested a possible solution for this here: Lemma 5.4.5.11 of HTT. For (3) it really appears to be a typo and can be fixed as in the comment of dhy. For (1), as explained by Tim in the comm …

I think there is a typo in Lemma 5.4.5.11: $K$ is supposed to be $\tau$-small and not $\kappa$-small. Note that if $\tau < \kappa$ and $K$ is $\kappa$-small but not $\tau$-small then the statement of …

I don't know a reference but here is a not-too-long proof. The condition that $\mathsf{D} \to \mathsf{E}$ is a cartesian fibration implies that for every $\langle n \rangle \in \mathrm{Fin}_*$ the map …

Yes. Since $X^{\natural} \to S$ and $Y^{\natural} \to S$ are both cartesian fibrations they are fibrant and cofibrant objects in the cartesian model structure over $S$, which is a simplicial model str …

I think what Lurie might have meant when he wrote "It is easy to see that $St_{\phi}$ preserves cofibrations" in the proof of Theorem 2.2.1.2, is that it is easy to see it if you take into account the …

Let $\mathcal{X}$ be the $\infty$-topos in question containing an object $X \in \mathcal{X}$. I assume that by $X$ having homotopy dimension $\leq n$ you mean that the $\infty$-topos $\mathcal{X}_{/X} …

Following up on the answer of Simon Henry, let us prove the following statement. For a pro-space $\hat{X} = \{X_i\}_{i \in I}$, we let $Spaces_{/\hat{X}}$ denote the $\infty$-topos defined as the (co …

One way to construct the duality functor ${\cal C} \to {\cal C^{\rm op}}$ is through the notion of a pairing of $\infty$-categories (see HA, Definition 5.2.1.5). In particular, in this case we're talk …

Technically speaking the answer to your question is no, in the sense that the data of $(\alpha,\beta,\gamma,\delta)$ alone does not determine the filtered object $V_0 \subseteq V_1 \subseteq V_2$. How …

For the 1-categorical case, it seems to be indeed a question of soundness. More precisely, the condition that $P_{\cal I}({\cal C}) = P^{{\cal K}}({\cal C})$ is equivalent to the condition that every …

Yes. In fact such a square can be replaced with a weakly equivalent Reedy fibrant pullback square without changing the object set of any of the simplicial categories. For a proof see, e.g., Lemma 3.1. …

The (epi,mono) factorization system in Sets is part of a model structure on Sets whose weak equivalences are the epis, fibrations are monos and cofibrations are everything. This is a model for the hom …

In Appendix C of his book in progress Spectral Algebraic Geometry, Lurie defines the unseparated derived category $\check{{\cal D}}({\cal A})$ (see Definition C.5.8.2 loc.cit) associated to a Grothend …