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

8
votes
1answer
119 views

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

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 ...
4
votes
1answer
760 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 ...
2
votes
1answer
162 views

adjunction relation

Assume I have simplicial sets $X:\Delta^{op}\rightarrow Set$ and $Y:\Delta^{op}\rightarrow Set$, then I can form the simplicial set $\operatorname{Hom}(X,Y)_n := ...
4
votes
2answers
206 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 ...
11
votes
3answers
574 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 ...
6
votes
1answer
160 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 ...
5
votes
2answers
311 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])$, ...
4
votes
2answers
219 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 ...
3
votes
1answer
691 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 ...
2
votes
1answer
191 views

augmented algebras and their morphisms

Let $R$ be a commutative unital ring and $A$ an associative (unital) $R$-algebra. What is an augmented $R$-algebra? A (unital) $R$-algebra $A$, together with a (unital) ring morphism $\varepsilon: ...
2
votes
1answer
39 views

Is there a sensible way to form the geometric realization of a “simplicial space up to homotopy”?

I am new to simplicial methods, and have some naive questions. As such, the questions may be malformed and the terminology might not even be right. I assume these are answered in some reference and ...
2
votes
1answer
795 views

Show simplicial complex is Hausdorff

I have a simplicial complex $K$ and I need to show that its topological realisation $|K|$ is Hausdorff. And $K$ need not be finite. I have very little idea on how to get started on this. Only that if ...
3
votes
2answers
390 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 ...
3
votes
1answer
200 views

How does a simplicial map induce a map on chain complexes

I am working on the following exercise: Show that a simplicial map induces a map on chain complexes (hence maps on homology between simplicial complexes). Here is what I have so far... Let $K, L$ be ...
2
votes
1answer
83 views

Induced map on simplices from order-preserving maps between finite ordinal numbers

Let $\Delta$ be the category of finite ordinal numbers with order-preserving maps, i.e., $\Delta$ consists of objects strings $[n]: 0→1→2→⋯→n$. A morphism $f:[n]→[m]$ is an order-preserving function ...
1
vote
1answer
115 views

homeomorphism between a boundary and a sphere

I started another question related to this. Consider $|\Delta^n|:=\{(x_0,..,x_n)\in\mathbb{R}^{n+1}:\sum_{i=0}^n x_i=1, x_i\in[0,1]\;\forall i\}$ the geometric realization of the standard n-simplex ...
1
vote
1answer
47 views

Paths between 0-cells in a classifying space.

Let $\mathcal{C}$ be a small category. Giving a morphism $u: X \to Y$ in $\mathcal{C}$ is equivalent to giving a functor $f: \{0 < 1 \} \to \mathcal{C}$ (with $f(0) = X$, $f(1) = Y$, and $f(0 \to ...
0
votes
0answers
25 views

homotopy of simplicial maps between infinite complexes

I have such a problem. Let $K,L$ be simplicial complexes, where $K$ is connected, countable and locally finite. In particular we can express $$K=\bigcup_{i=0}^\infty K_i,$$ where $K_0$ is some full ...
0
votes
0answers
36 views

simplicial complex bijection [duplicate]

Given two compact Hausdorff spaces $X$ and $Y$ and $h \colon X \to Y$ a homeomorphism, how can I prove that $h_{\mathfrak{A}} : N(\mathfrak{A}) \to N(h(\mathfrak{A}))$ is a bijection where ...
0
votes
1answer
41 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 ...