For questions about simplicial sets (functors from simplex category to sets), simplicial (co)algebras and simplicial objects in other categories; geometric realization, model structures, Dold-Kahn correspondence etc. Please do not use for questions about geometry of simplices nor about ...

learn more… | top users | synonyms

1
vote
1answer
71 views

Is the Image of a Simplicial Complex under a Simplicial Map again a Simplicial Complex?

I think this is trivially true, but just wanted confirmation. A simple yes or no would be great! Thanks.
1
vote
0answers
149 views

The Fundamental Group of a Polyhedron Depends Only on its $2$-Skeleton

Does anyone have a good quick proof of this using the Simplicial Approximation Theorem? I'm aware that it comes out as a corollary when considering edge paths and the edge group, but this seems like ...
0
votes
0answers
141 views

Generalizing Euler's Polyhedral Formula for Graph Embeddings in Higher Dimensions.

In the plane, Euler's Polyhedral formula tells us that $V - E + F = \chi$, where for graph embeddings we have that $\chi = 1$. Alternatively, we can think of a graph embedding as a simplicial ...
0
votes
1answer
164 views

Maximum number of simplexes given n-element point sets in the plane

Does anyone know if it has been proved what the maximum number of simplexes occurring in the plane is for a given value of $n$ points? I am interested in this question in relation to packing problems ...
8
votes
3answers
410 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 ...
0
votes
1answer
95 views

Simplicial Complexes - the Closure of the Star is a Cone on the Link (proof?)

I'm trying to prove that $\overline{st_K(x)}$ is a cone on $lk_K(x)$, but can't seem to get anywhere! I know how to construct a topological cone given a space $X$. However I don't know any way to ...
1
vote
1answer
117 views

simplex and power set

I read the following: Let $M$ be a set. The simplex on $M$ is the set of all subsets of $M$; we denote this by $\Delta_M$. We will sometimes refer to the elements of $M$ as vertices of $\Delta_M$. A ...
2
votes
0answers
109 views

left inverse to trivial fibration is trivial cofibration

It is claimed that in the model category of simplicial sets (with usual model structure), a trivial fibration $X \to Y$ has a section, which is a trivial cofibration. Now, I see that there is a ...
3
votes
2answers
165 views

The subcomplex of degenerate simplices has trivial homology

Let $A_\bullet$ be a (non-augmented) simplicial object in an abelian category, with face maps $d_i : A_n \to A_{n-1}$ and degeneracy maps $s_i : A_n \to A_{n+1}$, $0 \le i \le n$, for each $n \ge 0$. ...
2
votes
1answer
109 views

Non-Kan Fibrations

In the definition of a Kan fibration (on nlab), i.e. for a map $\pi:Y\to X$ of simplicial sets the inclusion of any horn into $Y$ always lifts to an inclusion of the filled in horn if that filled in ...
1
vote
0answers
61 views

Valuations, simplicial complexes and arithmetics

I am currently working on an Introduction to geometric probability (Klein, Rota, 1997). This book is very stimulating, and I find myself toying with the subject, and a note in particular (pp 95-97 for ...
5
votes
2answers
247 views

Passing pullbacks through adjunction

I'm having trouble following the proof of Proposition I.5.2 in Goerss-Jardine (Simplicial Homotopy Theory). After establishing the adjunction $\hat\Delta(X\times K,Y) \simeq \hat\Delta(K,[X,Y])$, ...
2
votes
1answer
120 views

Adjointness of the corresponding simplicial functors associated to an adjoint pair between categories

Suppose you have an adjoint pair of functors $F:C\to D$ and $G:D\to C$. Let ${\mathrm{Simp}}C$ and ${\mathrm{Simp}}D$ be the category of simplicial objects in the categories $C$ and $D$ respectively. ...
4
votes
1answer
437 views

Does the homology, homotopy, and geometric realization functors of a simplicial group preserve colimits?

Given a based simplicial group, you can find its reduced homology with coefficients in a field, homotopy, and geometric realization. These are functors. If I have a free product of based simplicial ...
8
votes
1answer
278 views

How does hocolim relate to Hom?

In a usual category $\mathcal{C}$ one can pull the colim out of the Hom like ...
2
votes
0answers
87 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) ...