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

2
votes
0answers
24 views

Converting a space to a simplicial set

Given a compact manifold and a Morse function, we obtain a convenient cellular decomposition. But suppose I have a (finite dimensional, possibly singular) space $X$ that is not a manifold and I wish ...
2
votes
1answer
72 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)}$, ...
3
votes
2answers
70 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 ...
0
votes
2answers
36 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 ...
0
votes
1answer
36 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
104 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}$, ...
0
votes
1answer
36 views

Simplicial complex of a graph?

Starting with a graph $G$, form a simplicial complex $X$ which has $G$ as the 1-skeleton, and then has higher dimensional simplices whenever more than two vertices of $G$ are mutually adjacent. So any ...
6
votes
3answers
117 views

Why is the 'mapping space' between two objects in a quasi-category a Kan complex?

Let $X$ be a quasi-category. (i.e. a simplicial set satisfying the weak Kan extension condition). Given two 'objects' $a,b\in X_0$ in $X$, one defines the mapping space $X(a,b)$ to be the pullback of ...
1
vote
1answer
28 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 ...
0
votes
1answer
30 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 ...
3
votes
1answer
42 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 ...
8
votes
1answer
88 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 ...
0
votes
1answer
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.
7
votes
1answer
110 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 ...
1
vote
1answer
317 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 ...
2
votes
0answers
41 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
37 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
34 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
19 views

Carrier maps between simplicial complexes

Simplicial complexes are useful in proving things about distributed systems. We define and use simplicial maps between two such complexes, and these maps also seem to be standard objects of study in ...
4
votes
1answer
617 views

Barycentric subdivisions of simplices yield a simplicial complex

The following interesting result (in particular parts (b) and (d)) is stated either as a obvious fact or as an exercise in several books on algebraic topology: The barycenter $b_\sigma$ of an ...
0
votes
1answer
21 views

An elementary question about $\pi_0$ and two homotopic maps

Let $f\colon A\to B$ be a map of pointed simplicial sets and let $B$ be Kan-fibrant. Let $0\colon A\to B$ denote the map which factorizes over the basepoint of $B$. Is it true that $f$ is homotopic ...
6
votes
0answers
69 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 ...
3
votes
1answer
68 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 ...
0
votes
1answer
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 ...
1
vote
0answers
26 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 ...
2
votes
0answers
19 views

Explanation of notation for face and degeneracy

The (co)face are historically denoted by $d$, while the (co)degeneracy maps are denoted by $s$. Why is this, instead of the obvious $f$ and $d$? In the simplicial category $\Delta$, you also realize ...
0
votes
0answers
17 views

Can one drop the retracts in the definition of anodyne extensions?

Definition: Anodyne extensions(i.e. acyclic cofibration) of simplicial sets are the closure of horn inclusions under transfinite composition, pushouts, and retracts. The composition and pushouts can ...
4
votes
1answer
48 views

Unique representation of a degenerate simplex

I recently learned about simplicial sets, and now I'm studying some basic properties. I've learned that every degenerate simplex is a degeneracy of a unique non-degenerate (nice) simplex. However, I ...
6
votes
1answer
92 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
1answer
141 views

What exactly is the CW complex structure on a geometric realisation?

This is likely a silly question. Definitions: $\bullet$ $\Delta_n = \{ (t_0, \dots, t_n) \: | \: 0 \leq t_i \leq 1, \sum_i t_i = 1 \}$ $\bullet$ Given $f: \underline{m} \to \underline{n}$ in ...
2
votes
1answer
78 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 ...
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 ...
5
votes
1answer
91 views

Does the category of Simplicial Complexes have finite limits and colimits?

Does the category of Simplicial Complexes have finite limits and colimits? Does the geometric realization functor preserve them? Thanks!
1
vote
1answer
56 views

Simplicial n-sphere as a coequalizer? (trivial question)

I know that it is a trivial question. And it can be found in any text on simplicial sets. (So, sorry about that). But I'm studying the Jardine's Book on Simplicial Homotopy Theory (Jardine and ...
3
votes
1answer
68 views

n-truncated simplicial set

It might be a trivial question. So, I apologise in advance. Let $ \Delta ^{op}_n $ be the full subcategory of $ \Delta ^{op} $ such that the set of objects of $ \Delta ^{op}_n $ is $ \left\{ 0, ...
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 ...
3
votes
2answers
54 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] ...
3
votes
1answer
50 views

Difference between the simplicial nerve and the nerve of a simplicial category

In Jacob Lurie's Higher Topos Theory book, he defines the following notion of a simplicial nerve: Definition 1.1.5.5. Let $\mathcal{C}$ be a simplicial category. The simplicial nerve ...
1
vote
2answers
57 views

What is the equivalent of Delaunay tringulations in high dimensions?

For 2D manifolds, Delaunay triangulation is a very useful tool for coarse graining. It has the nice property that in the flat/euclidian manifold case, it reduces to a 2D simplicial tesselation of the ...
4
votes
1answer
82 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
31 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 ...
8
votes
2answers
298 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 ...
5
votes
1answer
93 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
173 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 ...
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?
5
votes
0answers
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 ...
3
votes
1answer
142 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 ...
3
votes
0answers
60 views

Morita theory for simplicial rings

My question is the following: is there an analog of Morita theorem in the simplicial setting? I mean, we can define two simplicial rings $A,B$ to be simplicially Morita equivalent is the categories ...
3
votes
1answer
90 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 ...
1
vote
1answer
38 views

Contractibility of topological spaces associated to posets

Suppose $\mathcal{P}$ is a partially ordered set. To $\mathcal{P}$ we can associate a simplicial complex $K(\mathcal{P})$ whose $n$-simplices are the chains of length $n+1$ in $\mathcal{P}$. Since ...