# Tagged Questions

20 views

### Is every finite CW complex is homotopic to simplicial complex?

Is every finite CW complex is homotopy equivalent to a simplicial complex?
39 views

### Difference between two concepts of homotopy for simplicial maps?

I learn from Gelfand and Manin's Methods of Homological Algebra, Exercise 2 for I.4 that two maps $f,g\colon X\to Y$ between simplicial sets $X,Y$ are simply homotopic (maybe usually called simplicial ...
94 views

### How do we get a simplicial homology functor?

The $n$-th simplicial homology group $H_n(A)$ of an abstract simplicial complex $A$ depends on the choice of an orientation for $A$ (but for different orientations, the homology groups are ...
38 views

### Null homotopic by simplicial approximation

If $m<n$ use the simplicial approximation theorem to prove that any map $f:S^m\to S^n$ is null homotopic. Deduce that $\pi_1(S^n)$ is trivial if $n>1$. we have not covered lot on simplicial ...
41 views

### Empty set in a simplicial complex

Should the empty set be considered a simplex in a simplicial complex? Which justifications exist for the answer? I guess it is somewhat comparable to $1$ not being a prime number.
34 views

### A question about abstract simplicial complexes and discs.

I find the following definitions in a book about algebraic topology: Definition: Let $K$ be an abstract simplicial complex. $(1)$ If $K$ is finite, simply connected and with nonempty ...
51 views

### How does one give topological structure to an abstract simplicial complex?

Given an abstract simplicial complex $K,$ I'd like to know how I can endow it with a topology.
29 views

### Show that a set defines a simplicial complex

Let $A_n := \left\{-n,\cdots,-1,1,\cdots,n\right\}$ $\Delta_n := \left\{ B \subseteq A \; \big\vert \; \#(\{-i,i\}\cap B)\leq 1 \; \forall 1 \leq i \leq n \right\}$ Show that ...
47 views

### Relative Simplicial Approximation

While I was studying the cellular approximation theorem on May's "A Concise Course in Algebraic Topology" I found something a bit unclear. I agree with the fact that, given two CW-complexes $X,Y$, and ...
82 views

### A theorem of Kan regarding fibrant replacement

Recall that there is an adjunction $$\mathrm{Sd} \dashv \mathrm{Ex} : \mathbf{sSet} \to \mathbf{sSet}$$ where $\mathrm{Sd} (\Delta^n)$ is the first barycentric subdivision of $\Delta^n$. There is a ...
27 views

### The line between the centers of two k-simplices crosses through the centers of lower dimensional simplices

"The line between the centers of two k-simplices crosses through the centers of lower dimensional simplices." Is this always true? The barycentric centers are equidistant from the vertices. k=2 So ...
33 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 ...
118 views

### Product of simplicial complexes?

Given two abstract simplicial complexes $\mathcal{K}$ and $\mathcal{L}$, what is the definition of their product $\mathcal{K} \times \mathcal{L}$, as another abstract simplicial complex? Basically I'm ...
96 views

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 ...
59 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 ...
73 views

180 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 ...
118 views

### Characterising singular homology among a more general class of cosimplicial spaces

Is there a way to characterise (up to isomorphism) the simplicial spaces $F: \Delta \to \underline{\text{Top}}$ with $F( \underline{n}) \subset \mathbb{R}^{n+1}$ compact and $F(\underline{0})$ a ...
95 views

### Cech cohomology and cohomology of a category : a cluster of questions.

I apologize in advance : what follows is a bit of a mess. Also, I think it might be a big tautology, but i don't see it yet. My question is about the rapport of Cech cohomology and cohomology of a ...
49 views

### Understanding Quillens Theorem A

Let me restate the theorem: Let $F\colon\mathcal{C}\to\mathcal{D}$ be a functor. If $F\downarrow x$ is contractible for every $x\in\operatorname{Ob}(\mathcal{D})$, then $F$ is a homotopy ...
139 views

36 views

### Paths between 0-cells in a classifying space. II

Let $\mathcal{C}$ be a small category and $X,Y$ objects within. If $X$ and $Y$ (as $0$-cells) lie within the same path-component in $B\mathcal{C}$, can one say anything in general on how $X$ and ...
41 views

137 views

### Inverse functor in proof of Dold Kan Correspondence

I´m looking at the proof of the Dold-Kan correspondence. Let $SA$ be the category of simplicial objects in an abelian category $A$ and $CH_{\ge0}(A)$ the category of non-negative chain complexes in ...
69 views

### geometric realization of a free simplicial group

Call a simplicial group $G_{\bullet}$ free if for each $n$, the group $G_n$ is a free group. How does the geometric realization of $G_{\bullet}$ look like? Can its nondegenerate and ...
81 views

236 views

### Comparison between various types of cell complexes

There are the following (and more) types of geometric cell complexes: 1) The geometric realization of a simplicial set 2) CW-complexes 3) The geometric realization of an abstract simplicial complex ...
249 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 ...