0
votes
1answer
39 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.
4
votes
1answer
91 views

Existence and homotopies of embeddings between simplicial complexes

Let $K$ and $L$ be simplicial complexes, $m=\dim K$, and $h:|K|\rightarrow |L|$ be a continuous map. Show that $h$ is homotopic to a map carrying $K$ into $L^{(m)}$, the $m$-skeleton of $L$. I'm ...
1
vote
1answer
130 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: ...
0
votes
0answers
25 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 ...
4
votes
0answers
193 views

Algebraic Morse theory

In 2005, prof. Emil Skoldberg developed a theory, similar to Forman's Discrete Morse Theory, but suited for arbitrary based chain complexes, in his Morse Theory from an algebraic viewpoint. I'm going ...
3
votes
2answers
170 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$. ...