2
votes
0answers
20 views

When may the bar resolution be truncated for calculating $\operatorname{hocolim}$?

Suppose $D$ is a small category and $F\colon D\to sSets$ a functor. I want to calculate the simplicial set $$\operatorname{hocolim}F$$ via the bar construction: $\operatorname{hocolim}F$ is the ...
1
vote
1answer
11 views

Skeletality of a simplicial set $X$ vs. highest degree of a non-degenerate simplex

Let $X$ be a simplicial set with a non-degenetate simplex in degree $n$ and suppose that all simplices in higher degrees are degenerate. Is $X$ an $n$-skeletal simplicial set and not ...
2
votes
1answer
105 views

Realization (in the sense of homotopy coherent nerve) of $\partial\Delta^n$

I need some help understanding the working of the homotopy coherent nerve (as described in Lurie's HTT). Let $i < j$, then $\mathrm{Hom}_{\mathfrak{C}\Delta^n}(i, j) \simeq (\Delta^1)^{(j-i-1)}$, ...
8
votes
1answer
90 views

How to construct a quasi-category from a category with weak equivalences?

Let $(\mathcal{C},W)$ be a pair with $\mathcal{C}$ a category and $W$ a wide (containing all objects) subcategory. Such a pair represents an $(\infty,1)$-category. One model for such gadgets is a ...
2
votes
0answers
46 views

An equality of some equalizers of simplicial sets.

$\newcommand{\cosimp}[1]{{#1}^\bullet} \newcommand{\sSet}{\mathsf{sSet}} \newcommand{\Set}{\mathsf{Set}}$ [I realize that the post is imposing.However, all the content of the problem is in the gray ...
1
vote
1answer
39 views

Basic localizers contain adjoint functors

I'm struggling with a property of basic localizers, namely that adjoint functors are weak equivalences. Recall that a basic localizer $\mathcal W$ is a subset/subclass of the arrows of the category ...
1
vote
0answers
35 views

Combinatorial definition of the homotopy groups of a quasi category?

The homotopy groups of a Kan complex are defined combinatorially, and they coincide with the homotopy groups of the geometric realization. For a general complex $X$, homotopy isn't an equivalence ...
1
vote
0answers
32 views

Geometric realization of function complexes of simplicial sets

Let $\operatorname{sSet}$ be the category of simplicial sets and $\operatorname{Top}$ the category of (say, compactly generated) topological spaces. There is a pair of adjoint functors called ...
3
votes
1answer
73 views

Why do we ask that condition in Kan complex?

Let $\{X_n\}_{n=0}^\infty$ be simplicial set with faces $d_i:X_n\to X_{n-1} $, a simplicial set is called a Kan Complex if for any $x_0,...,x_{k-1},x_{k+1},...,x_{n+1}$ if $d_i(x_j)=d_{j-1}(x_i)$ for ...
1
vote
1answer
30 views

Elementry collapses implies same homotopy type.

Let $\Delta$ be a simplicial complex, and suppose that $\sigma \in \Delta$ is a proper face of exactly one maximal simplex $\tau \in \Delta$. A simplicial collapse of $\Delta$ is the removal of all ...
6
votes
1answer
95 views

Cohomological Whitehead theorem

Let $X$ and $Y$ be CW complexes (resp. Kan complexes) and let $f : X \to Y$ be a continuous map (resp. morphism of simplicial sets). The following seems to be a folklore result: Theorem. The ...
3
votes
1answer
57 views

Does $\pi_0$ preserve infinite products?

The functor $\pi_0\colon \operatorname{sSets}\to \operatorname{Sets}$ has value on a simplicial set $X$ the coequalizer of the two boundary morphisms $d_0,d_1\colon X_1\to X_0$. It is easy to see ...
4
votes
1answer
84 views

Model structure on sSet

Which is the model structure on $ \text{sSet} $ (category of simplicial sets) that makes $\text{sSet}$ Quillen equivalent to the category $ \text{Cat} $ (of small categories) by the adjunction ...
2
votes
0answers
32 views

What is a homotopy between bisimplicial maps

I am looking for the naive notion of homotopy. For maps $f, g: A\to B$ of simplicial sets $\Delta^{op}\to Sets$, a homotopy $H$ is a simplicial map $H:A\times\Delta^{1}\to B$ such that ...
5
votes
1answer
96 views

Fat geometric realization weakly equivalent to the usual one

Let $X$ be a simplicial set. Recall that we can associate to it a certain topological space, the geometric realization, given by $ | X | = \int ^{n \in \Delta} X_{n} \times \Delta _{n} \simeq ...
4
votes
1answer
175 views

What are simplicial topological spaces intuitively?

(NOTE: I reposted the question to MO. Please answer there.) I tend to imagine simplicial objects in a category as some kind of "topological objects", with a notion of homotopy. Simplicial sets are ...
3
votes
2answers
57 views

Why is the Cech nerve $C(U)$ of a surjective map $U\to X$ weakly equivalent to $X$?

Let $f:U\to X$ be a surjective map of sets and $$ ...U\times_XU\times_XU \substack{\textstyle\rightarrow\\[-0.6ex] \textstyle\rightarrow \\[-0.6ex] ...
2
votes
1answer
34 views

Does the functor $\mathbf{cosk_n}:sSet\to sSet$ preserve Kan complexes?

On this nlab page a functor $\mathbf{cosk_n}:sSet\to sSet$ is constructed. Is $\mathbf{cosk_n}(K)$ of a Kan complex $K$ again a Kan complex?
2
votes
1answer
76 views

Show that two different embeddings of the figure-eight in the torus are not homotopic

Note, we can express the torus $|X.| \cong T$ as a square with edges denoted by $e$ and $f$, the diagonal by $g$, and faces $T_1$ and $T_2$, and a single vertex $v$, with appropriate identifications. ...
0
votes
0answers
26 views

Playing with the torus and semisimplicial sets (prove that $\phi$ and $\psi$ are not homotopic) [closed]

Recall that we can express the torus $|X.| \cong T$ as a square with edges $e$ and $f$, diagonal $g$, faces $T_1$ and $T_2$, and a single vertex $v$, and appropriate identifications. Let $Y.$ be the ...
3
votes
0answers
53 views

Does the $\mathcal{E}G$-construction arise form a comonad?

Let $G$ be a simplicial group and consider the adjunction $$ Fr:sSets\rightleftarrows G-sSets:U $$ where the left adjoint $Fr$ maps a simplicial set $X$ to the free $G$-simplicial set $G\times X$ and ...
4
votes
1answer
108 views

The two-sided simplicial bar construction is Reedy-cofibrant

Let $\mathcal{M}$ be a simplicial model category and let $\mathbb{C}$ be a small category. For a diagram $F : \mathbb{C} \to \mathcal{M}$ and a weight $G : \mathbb{C}^\mathrm{op} \to \mathbf{sSet}$, ...
4
votes
2answers
182 views

'homotopy' between morphisms of a 'topological' or 'algebraic' category (Stanley-Reisner ring)

In what follows, a homotopy is a congruence $\simeq$ on a given category. Given such a homotopy, objects $X$ and $Y$ of the given category are homotopy equivalent when there exist morphisms ...
1
vote
2answers
77 views

horn of a simplex

I'm reading one book of simplicial homotopy. It's just amazing. But I am stuck at the very beginning of the book. He let a simplicial set be a contravariant functor between the category $ \Delta $ of ...
3
votes
0answers
61 views

Is a simplicial subcomplex of a contractible simplicial CW-complex also contractible?

Let $Y,X$ be simplical CW-complexes (By that I mean functors $\Delta^{op}\to CW$. In other words, for each natural number $n$ there exist CW-complexes $X_n$ and $Y_n$ and there are face and degeneracy ...
8
votes
2answers
311 views

What is the homotopy colimit of the Cech nerve as a bi-simplical set?

Let $f:Y_\bullet\to X_\bullet$ be an epimorphism of simplicial sets and define the bi-simplicial set $$ F_{\bullet\bullet}=\ldots Y\times_X Y\times_X Y\underset{\to}{\underset{\to}{\to}}Y\times_X Y ...
3
votes
0answers
75 views

What is an “absolute, equational pushout”?

I was leafing through Joyal and Tierney's Notes on simplicial homotopy theory. In the first few lines of the section on the skeleton of a simplicial set they display the simplicial identities as a ...
4
votes
2answers
137 views

The empty set in homotopy theoretic terms (as a simplicial set/top. space)

I am currently confused about the empty set in terms of its path components and how this fits into the Quillen adjunction between topological spaces and simplicial sets. Probably, one of my ...
0
votes
1answer
73 views

How to show that $\Delta[n]$ isn't Kan fibrant…?

This is the problem: I have to prove that $\Delta[n]$ isn't Kan fibrant for n >=2. Does anyone how idea how to do it?
3
votes
2answers
241 views

Kan fibrations and surjectivity

I have a basic question on the usual model structure on simplicial sets. What is the relation between being a Kan (trivial maybe ?) fibration and surjectivity ? Surjectivity here means either ...
2
votes
3answers
246 views

can the statement “a simplicial set is the nerve of a category if and only if it satisfies a horn-filling condition” be tweaked for groupoids?

For some reason I convinced myself that a simplicial set (or maybe I mean directly Kan complex) is homotopy equivalent to the nerve of a groupoid if and only if it has no higher homotopy groups. Is ...
2
votes
0answers
214 views

does it make sense to tensor a simplicial set with a simplicial ring?

Given a simplicial commutative ring $A$ and a simplicial set $K$ does $K \otimes A$ make sense as a (commutative) simplicial ring? I'm asking as I've seen the expression $S^n \otimes A$ written down ...
8
votes
3answers
420 views

What is combinatorial homotopy theory?

Edit: After a discussion with t.b. we agreed that this question aims to a different answer from this one, for more information you can read the comment below. Many times I've heard people ...
2
votes
0answers
91 views

Local injective model structure for simplicial presheaves

The category of simplicial presheaves on a small Grothendieck site $\mathcal{C}$ can be given a model structure by defining weak equivalences and cofibrations sectionwise. It's called the (global) ...
8
votes
1answer
280 views

How does hocolim relate to Hom?

In a usual category $\mathcal{C}$ one can pull the colim out of the Hom like ...