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

3k views

### Difference between simplicial and singular homology?

I am having some difficulties understanding the difference between simplicial and singular homology. I am aware of the fact that they are isomorphic, i.e. the homology groups are in fact the same (and ...
610 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 speaking ...
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 ...
156 views

### Bousfield–Kan spectral sequence for homotopy colimits

Let $\mathcal{J}$ be a small category and let $X : \mathcal{J} \to \mathbf{sSet}$ be a diagram. We define its homotopy colimit $\newcommand{\hocolim}{\mathop{\mathrm{ho}{\varinjlim}}}\hocolim X$ ...
546 views

325 views

### Homology other than singular?

Usually, one defines $n$-th homology functor on topological spaces as the composite functor  \mathbf{Top} \to [\Delta^\mathrm{op},\mathbf{Set}] \to [\Delta^\mathrm{op},R\!-\!\mathbf{Mod}] \overset C ...
118 views

### History of the term “anodyne” in homotopy theory

There is a notion of an anodyne morphism (usually of simplicial sets). This type of morphisms is used, for instance, to establish basic properties of quasicategories. But the name is quite mysterious. ...
208 views

### How to intrinsically think about simplicial objects.

It seems that a simplicial set should be thought as a space/thing, with encoded building information. The set of $n$-simplicies is the set of n-dimensional pieces and the boundary and degeneracy maps ...
282 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 ...
123 views

### cofaces and codegeneracies on Simplicial Sets

Let Δ be the category of finite ordinal numbers with order-preserving maps, i.e., Δ consists of objects strings A morphism f:n→[m] is an order-preserving function (a functor) and we can think of the ...
254 views

178 views

### Andre-Quillen Homology of the cuspidal curve $k[x,y]/(x^2 - y^3)$

I was wondering if I am in the right track here. Let $A := k[x,y]/(x^2 - y^3)$, the cuspidal curve. Obviously this isn't etale or smooth over $k$ so its cotangent complex is not contractible. Now, I ...
139 views

### What is a copresheaf on a “precategory”?

Let $\mathcal{S}$ be a category with pullbacks. A precategory $\mathbb{C}$ in the sense of Borceux and Janelidze [Galois Theories, §7.2] comprises three objects $C_0, C_1, C_2$ in $\mathcal{S}$ and ...
136 views

### Are bounded open regions in $\mathbb{R}^n$ determined by their boundary?

Let $U$ and $V$ be two bounded open regions in $\mathbb{R}^n$, and let us further assume that their topological boundaries are nice enough that they are homeomorphic to finite simplicial complexes. ...
335 views

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])$, ...
220 views

### What does it mean for a category to be “tensored over” another category?

What does it mean for a category to be "tensored over" another category? I was reading "Stable model categories are categories of modules" by Schwede and Shipley (http://www.math.uni-bonn.de/people/...
224 views

### Does the functor $S:\mathbf{Top}\to \mathbf{sSets}$ preserve (homotopy)colimits?

Does the functor $S:\mathbf{Top}\to \mathbf{sSets}$ given by $S(X)_m=Hom_{\mathbf{Top}}(\Delta^m,X)$ preserve colimits? If not, what is a counterexample? The only things I can say are that it ...
274 views

38 views

### Replacing faces of a cube in a quasicategory

I have a question on quasicategories which seems to be unavoidably cubical, and which I haven't been able to locate any information about. Suppose I have a cube $U:\mathbf{2}^3:\to C$ in a ...
30 views

Let $X$ be a finite simplicial complex with a simplicial map to $S^1$. Take covers of $X$ associated to the subgroups $n \mathbb{Z}$ of $\mathbb{Z} = \pi_1(S^1)$. This defines a sequence of spaces $... 1answer 69 views ### Cech Cohomology and the Dold-Kan Correspondence Given a (co/contravariant) functor$F$from the simplicial category$\Delta$to an abelian category$A$, we can form its Cech complex (or "alternating face map complex" on the nLab), i.e.$CF^n=F([n])$... 0answers 122 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 point?... 0answers 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 ... 1answer 295 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$...
Given an abelian group $X$, let $F_n(X)$ denote the simplicial abelian group defined as follows: $F_n(X)_j=0$ for all $j<n$ and $F_n(X)_j=X$ for all $j\geq n$ with the appropriate zero and ...