Search Results

Let $U$ and $V$ be Segal spaces and let $f : U \to V$ be a Dwyer–Kan equivalence. That means two things: The following diagram is a homotopy pullback square: $$\require{AMScd} \begin{CD} U_1 @>>> U_0 …

Given a simplicial object $X$ in a locally small category $\mathcal{M}$ and a simplicial set $S$, define the weighted limit $\{ S, X \}$ to be an object in $\mathcal{M}$ equipped with an isomorphism $ …

Let $X$ be a topological space. Consider the functor $P^X : \textbf{Set} \to \textbf{Set}$ that sends each set $Y$ to the set of continuous maps $X \to Y$. It is not hard to check that $P^X : \textbf{ …

It seems there are many subtly different notions of the shape of a topological space (and, more generally, toposes). For instance, Lurie [Higher topos theory] defines this one: Definition 1. The shap …

Let $\textbf{Top}$ be the category of all topological spaces, including the bad ones. We can make $\textbf{Top}$ into a simplicially enriched category as follows: Given topological spaces $X$ and $Y$ …

[Edit: Corrected some false claims and modified questions accordingly.] Let $\mathcal{S}$ be the cocomplete $(\infty, 1)$-category generated by a point. This is conventionally known as the $(\infty, 1 …

There is a notion of the étale homotopy type of a (Grothendieck) topos, going back to Artin and Mazur (I think). However, in classic "French" fashion they turned a theorem (in one setting) into a defi …

In [Schwänzl and Vogt, Strong cofibrations and fibrations in enriched categories], the authors refer to an earlier preprint, [Schwänzl and Vogt, Cofibration and fibration structures in enriched catego …

Since you have functorial factorisations you should exploit that to the hilt. If $\mathcal{M}$ is a model category with functorial factorisations then the category $\mathbf{c}\mathcal{M}$ of cosimplic …

Yes. In fact, one such example comes from homotopical algebra: Proposition. Let $\mathcal{C}$ be a small homotopical category and let $\gamma : \mathcal{C} \to \operatorname{Ho} \mathcal{C}$ be th …

Here is a proof for the case where $X$ is a Hausdorff space. Note that each $U_n$ is also Hausdorff in this case. A standard argument shows that the face operators of $U_\bullet$ are (surjective) loc …

The class of morphisms having the right lifting property with respect to $\Lambda^1_k \times \Delta^n \hookrightarrow \Delta^1 \times \Delta^n$ (for all $k \in \{ 0, 1 \}$ and all $n \ge 0$) is strict …

The quotation in the title is attributed to Frank Adams and appears in several places: In the preface of [2002, Operads in algebra, topology and physics]: "to operate the machine, it is not necessar …

We can detect the difference between the two constructions using the homotopy category. Given any simplicially enriched category $\mathcal{C}$, we can construct an ordinary category $\pi_0 [\mathcal{C …

Here are some remarks on Charles Rezk's answer: Everything is happening in the category of locally fibrant presheaves, which has a homotopy calculus of right fractions in the sense of Dwyer and Kan …