# Tagged Questions

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 ...

84 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 ...
225 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 ...
63 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.
123 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 ...
916 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 ...
63 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 ...
46 views

28 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 ...
25 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 ...
185 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 ...
278 views

107 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 ...
132 views

254 views

188 views

### Two definitions of equivariant sheaves

Let $G$ be a topological group. Here are two definitions of $G$-equivariant sheaves on a $G$-space $X$. (a) Define an $G$-equivariant sheaf by a sheaf $F$ (étalé space) equipped with a $G$-action ...
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 $f\!:X\... 1answer 190 views ### What (filtered) (homotopy) (co) limits does$\pi_0:\mathbf{sSets}\to\mathbf{Sets}$preserve? Consider the functor$\pi_0:\mathbf{sSets}\to\mathbf{Sets}$.$\pi_0$does not preserve arbitrary limits$\pi_0$does not send homotopy limits to limits$\pi_0$does preserve filtered colimits$\pi_0$... 2answers 105 views ### horn of a simplex I'm reading one book of simplicial homotopy. It's just amazing. But I am stuck at the very beginning of the book. He let a simplicial set be a contravariant functor between the category$ \Delta $of ... 1answer 421 views ### Toric Varieties: gluing of affine varieties (blow-up example) Let$\Delta$be a fan, consisting of cones$\sigma_0=conv(e_1,e_1+e_2)$and$\sigma_2=conv(e_1+e_2,e_2)$and$\tau=\sigma_0\cap\sigma_1=conv(e_1+e_2)$. The dual cones are$\sigma_0^\vee= conv(e_2,e_1\!...
Let $Y,X$ be simplical CW-complexes (By that I mean functors $\Delta^{op}\to CW$. In other words, for each natural number $n$ there exist CW-complexes $X_n$ and $Y_n$ and there are face and degeneracy ...