The simplicial-stuff tag has no usage guidance.

**2**

votes

**1**answer

158 views

### Left adjoint to Double Nerve?

The well known nerve functor from small categories to simplicial sets has a left adjoint, namely the fundamental category functor. Does the double nerve functor $N^2:2Cat\rightarrow sSSet$ from 2-...

**2**

votes

**0**answers

64 views

### Can relative homotopy groups be represented as relative homology groups of some Moore complex?

Daniel Kan defined a combinatorial version of the homotopy group $\pi_n(X)$ of a simplicial set $X$ as the $(n-1)$st homology of the (non-commutative) Moore complex $\tilde{G}(X)$, where $G_iX$ is ...

**14**

votes

**1**answer

465 views

### Errata on Rezk's paper

I am reading this paper of Rezk's http://arxiv.org/abs/0901.3602 A cartesian presentation of weak n-categories, and as it is pointed out in the introduction, it contained a wrong statement (2.19 in ...

**0**

votes

**0**answers

97 views

### “Sheaf” on the nerve of a category

So I have the nerve of a category and want to communicate information about the sets at each level in the simplicial set (nerve). Is there a way to regard the nerve as a category itself? Then one ...

**8**

votes

**0**answers

86 views

### Are the unwound thin realization and fat realization homotopy equivalent?

This is a question about a theorem (proposition 2) in the article--On the homotopy type of classifying spaces
Recall some definitions first:
Given a category $\mathcal{C}$ internal in $\...

**16**

votes

**0**answers

325 views

### Is this a model for $K$-theory of a triangulated category?

The recent question Complete the following sequence: point, triangle, octahedron, . . . in a dg-category reminded me of something I wanted to clarify long time ago; most likely this is now well known ...

**3**

votes

**0**answers

168 views

### Complete Segal operads and dendroidal sets

There is a Quillen equivalence between the model category presenting Lurie's $\infty$-operads (which are inner fibrations $\mathcal{C}\to\mathrm{N}(\mathbf{F})$ satisfying certain conditions) and the ...

**5**

votes

**1**answer

189 views

### What do globes (used to construct globular sets, $\omega$-categories, etc.) actually look like?

Nlab introduces the globular category as a geometrical model to construct certain higher categorical structures (e. g. strict $\omega$-categories), just as quasi-categories, for example, are modelled ...

**5**

votes

**0**answers

125 views

### Two natural maps asssociated with the nerve of a cover

Let $X$ be a nice (e.g. paracompact, locally contractible) topological space, and let $\mathcal{U}=\{U_i\}_{i\in I}$ be an open cover of $X$. Also denote by $N$ the (topological realization of) the ...

**12**

votes

**1**answer

241 views

### From relative categories to marked simplicial sets

Both relative categories and marked simplicial sets (over Δ^0) present the ∞-category of ∞-categories.
Naturally, one could ask whether there is a reasonably direct way to pass between these two ...

**4**

votes

**0**answers

118 views

### Relative Hurewicz Theorem

For a given zero-reduced simply connected simplicial set $X$, one can define simplicial group $GX$ representing the loop space of $X$, its Abelianization $AX = GX/[GX,GX]$ and show that the map ...

**1**

vote

**1**answer

124 views

### pullback square in Goerss-Jardine

In proving the the existence of the Reedy model structure on the category of simplicial objects in a model category $\mathcal{C}$, Goerss-Jardine prove there is a pullback square induced by a map of ...

**-1**

votes

**1**answer

114 views

### Parallel transport on simplicial manifold? [closed]

Do you know some reference about the notion of parallel transport for simplicial manifolds?

**4**

votes

**0**answers

66 views

### Homology of simplicial manifolds

Let $M_{\bullet}$ be a simplicial manifold. There are two ways to computing its cohomology. Consider the cosimplicial module $A_{DR}(M)$. It defines a functor $A_{DR}(M_{\bullet})\: : \: \boldsymbol{\...

**5**

votes

**1**answer

167 views

### The properness of the special singular simplicial spaces

This is a question related to another one in MO
Background : A special simplicial space $X_{\cdot}$ is a simplicial space with $X_{0}=\ast$ and $X_{n}\simeq X_{1}^{n}$ via the simplicial map $v_{i}:[1]...

**3**

votes

**1**answer

98 views

### Path space of a simplicial topological space?

Given a connected topological space $X$, its space of path $PX$ is again a topological space. On the other hand, for a simplicial set $K_{\bullet}$, its path space is given by
$$
PK_{n}:=\...

**10**

votes

**1**answer

235 views

### Is the hom-simplicial set in the hammock localization a nerve?

Let $(C,w)$ be a relative category. Then associated to it we have its hammock localization, $L^H(C,w)$, which is a simplicially enriched category.
If $X,Y\in C$, the description of the simplicial set ...

**6**

votes

**0**answers

166 views

### Bott-Samelson theorem for simplicial sets

Let $X\in \mathrm{sSet}$ and $FX$ be the Milnor's construction (model for $\Omega\Sigma |X|$) - in each dimension $n$ this is the free group on $X_n$ with one relation $*=1$. I'm interested in $\...

**1**

vote

**0**answers

108 views

### cohomology ring of compact submanifolds of Euclidean spaces

Suppose we have a compact $m$-dimensional submanifold $M$ of $\mathbb{R}^N$ and we want to know the cohomology ring $H^*(M;\mathbb{Z})$.
Let $\epsilon>0$ and a $m$-dimensional finite simplicial ...

**2**

votes

**1**answer

139 views

### Basic technical things about simplicial sets to have a good understanding of quasicategories

May someone provide me the list of basic techniques about simplicial sets, in order to have a good understanding of the definition of a quasicategories, $\infty$-topos, $\infty$-stacks, $\infty$-...

**3**

votes

**0**answers

134 views

### Test categories applied to Dold-Kan correspondence?

Let's see how this goes, this might be a bit rushed, if you spot any mistakes feel free to correct them. A test category $X$ is a category that can be used in place of the simplex category $\Delta$ to ...

**6**

votes

**0**answers

186 views

### Grothendieck - A group as a sheaf over simplicial complexes

In this blog post, Terence Tao gives the following definition of a group.
Definition. A group is (identifiable with) a (set-valued) sheaf on the category of simplicial complexes such that the ...

**7**

votes

**1**answer

374 views

### P.G.Goerss, J.F.Jardine, “Simplicial Homotopy Theory” prerequisites

I know that such questions may be better suited for math.stackexchange, but I believe that that the topic of simplicial homotopy theory is advanced enough for mathoverflow.
Besides, I know that there ...

**6**

votes

**2**answers

359 views

### Is this almost-cosimplicial object familiar?

I have a sequence $X_0,X_1,\ldots$ of Abelian groups, along with face maps $d_0,\ldots, d_n: X_{n-1}\to X_n$ which satisfy the standard cosimplicial identities EXCEPT at the very bottom, where in $\...

**10**

votes

**1**answer

519 views

### Categorical or simplicial introduction to modern homotopy theory

I've heard some people saying that it would be easier to study homotopy theory first through simplicial sets. First, i thought that these people were not being serious. But it caught me wondering...
...

**7**

votes

**0**answers

72 views

### Extending a left fibration along an inner horn

Let $\Lambda^n_i \subseteq \Delta^n$ be an inner horn, and let $X \rightarrow \Lambda^n_i$ be a left fibration. Does there exist a left fibration $Y \rightarrow \Delta^n$ such that $X = Y \times_{\...

**1**

vote

**0**answers

66 views

### Cofibrancy of simplicial objects [duplicate]

Let $\mathcal{C}$ be a site. Consider $sPsh(\mathcal{C})$ be the equipped with the local projective model structure. Let $C_{\bullet}$ be a cofibrant object in $\mathcal{C}$ and let $y(C_\bullet)$ be ...

**3**

votes

**0**answers

106 views

### Symmetric sub-simplicial sets of the nerve of $\mathbb{N}$

The nerve of $\mathbb{N}$ is the simplicial set $N\mathbb{N}$ with
simplices: tuples $(k_1,\ldots, k_r)$ with each $k_i\in \mathbb{N}$
degeneracies: inserting $0$
faces: adding consecutive entries ...

**3**

votes

**1**answer

80 views

### explicit description of the cosimplicial simplicial set $Q^{\bullet}$

I'm struggling to understand the explicit description of the cosimplicial simplicial set $Q^{\bullet}$ on page 76 (section 2.2.2) of Lurie's book Higher Topos Theory, and would be grateful if someone ...

**5**

votes

**2**answers

184 views

### What is this construction using iterated face maps of semisimplicial sets?

Let $X$ be a semisimplicial set (face maps but no degeneracy maps). Fix a positive integer $k$. Let $Y_n$ be $X_{(n+1)k}$ and then define $\partial^Y_i:Y_n\to Y_{n-1}$ by
$$\partial^Y_i = (\partial^...

**3**

votes

**1**answer

246 views

### Polynomial differential forms on $BG$

Let $\Omega^{*}_{\text{poly}}\: : \: sSet\to dg_{\geq 0}Comm_{+}$ be the polynomial De Rahm functor on simplicial sets, where the codomain is the category of commutative differential graded algebras ...

**6**

votes

**0**answers

262 views

### Item (4) in Lurie's definition of the class of marked anodyne morphisms

I have a question concerning Remark 3.1.1.3 in Lurie's "Higher Topos Theory" about the definition of the class of marked anodyne morphisms. There, it is mentioned that "it suffices to allow $K$ to ...

**7**

votes

**1**answer

256 views

### Pullback-stable model of fibrewise suspension of fibrations (in simplicial sets, or similar setting)

Given a fibration $p : Y \to X$ in simplicial sets (or any other model category), there are various ways to construct its fibrewise suspension, i.e. its suspension as an object of the slice $\...

**5**

votes

**1**answer

225 views

### Basic questions about simplicial commutative rings

I am trying to learn about simplicial commutative rings, and would be grateful if one can help with some basic facts about them. Basically, I would like to understand how to do homological algebra ...

**5**

votes

**1**answer

126 views

### For a simplicial set $X$, is the category of non-degenerate simplices of $X$ a full subcategory of the category of simplices of $X$?

I'm slightly confused, but I think you can help me. Let $X$ be a simplicial set. The category of simplices of $X$ and its subcategory of non-degenerate simplices are defined at http://ncatlab.org/nlab/...

**7**

votes

**0**answers

182 views

### $E_{\infty}$ $R$-algebras vs commutative DG $R$-algebras vs simplicial commutative $R$-algebras

I've been trying to understand better the relation between the basic blocks of derived algebraic geometry. More precisely, I'm trying to understand the relation between the DG approach, the spectral ...

**3**

votes

**1**answer

247 views

### Does the fat geometric realization take limits to homotopy limits?

I am deeply confused about geometric realizations and finite limits.
Suppose that I am working with simplicial sets (I dont need simplicial spaces) that are "good" in the sense of Segal so that I can ...

**2**

votes

**0**answers

108 views

### Is the dg-nerve functor a Quillen equivalence?

Lurie defines the dg-nerve $N_{dg}(\mathcal{C})$ of a dg-category $\mathcal{C}$ in Higher Algebra Construction 1.3.1.6: for each $n \geq 0$, we define $N_{dg}(\mathcal{C})_n\simeq \text{Hom}_{\mathcal{...

**1**

vote

**1**answer

116 views

### Does a topological hypercover always have free degeneracies?

This question arises when I am reading Dugger and Isaksen's "Hypercovers in topology". According to Definition 4.1 in that paper, A hypercover of a space $X$ is an augmented simplicial space $U_*\to X$...

**9**

votes

**0**answers

140 views

### Why should we regard $PL(M)$ as a simplicial group?

Let $M$ be a manifold. If $M$ is smooth, it is clear what $\text{Diff}(M)$ should be, namely it should be the set of diffeomorphisms of $M$ equipped with the topology in which a sequence of ...

**4**

votes

**1**answer

202 views

### Is the simplicial set $(\Delta_3/\partial \Delta_3)^{\Delta_1}$ finite?

A simplicial set is called finite if it has only a finite number of non degenerate simplicies (or equivalently, if its number of $n$-simplicies grows polynomially with $n$). In an answer to a ...

**2**

votes

**1**answer

172 views

### Equivalent definition of a Kan fibration

It is known (follows for example from Proposition 4.2 of Simplicial Homotopy Theory by Goerss and Jardine) that a Kan-fibration can be defined as a map having the right lifting property with respect ...

**4**

votes

**1**answer

299 views

### Natural transformations induce homotopies - Is this true in the “fat” world?

Let $\mathcal{C}, \mathcal{D}$ be categories internal to topological spaces (or compactly generated Hausdorff spaces, if you like) $F,G\colon\mathcal{C}\rightarrow\mathcal{D}$ be continuous functors ...

**4**

votes

**0**answers

204 views

### Does the fat realization of simplicial spaces commute with finite limits up to homotopy?

I'm willing to work in the category of compactly generated Hausdorff spaces.
The ordinary geometric realization of a simplicial space commutes with taking pullbacks and preserves the terminal object, ...

**1**

vote

**0**answers

72 views

### Does it require Reedy fibrancy when we want the totalization to be weakly equivalent to the homotopy limit?

This question arises when I am reading the last two Chapter of Hirschhorn's "Model categories and their localizations"
In Part (2) of Theorem 19.8.4 of that book it says
If $(\bf{\Delta},\mathcal{M})...

**1**

vote

**0**answers

87 views

### Internal Hom on simplicial presheaves and the preservation of cofibrant objects

1)Let $\mathcal{C}$ be a cartesian closed small category. Let $\operatorname{Map}\: : \: sPsh(\mathcal{C})\times sPsh(\mathcal{C})\to sPsh(\mathcal{C})$ be the internal Hom of simplicial presheaves, i....

**2**

votes

**1**answer

362 views

### Building $(\infty,2)$-categories from $\infty$-categories

Let $Y$ be a marked simplicial set, whose underlying simplicial set is also denoted by $Y$. Let $X$ be a scaled simplicial set such that the decalage of its underlying simplicial set is $Y$. $X$ is ...

**0**

votes

**3**answers

154 views

### smash product of pointed spaces preserve weak equivalences

Consider the category of pointed simplicial sets with usual notion of weak equivalence. The question is does the functor
$$Y \mapsto X\wedge Y$$ preserve weak equivalences? or at the very least does ...

**3**

votes

**1**answer

95 views

### Segal maps for Segal precategories

A Segal precategory is just a simplicial space $X:\Delta^{op} \to sSet$ such that its $0$-th space is discrete (i.e. constant). A Segal category is defined everywhere in the literature as a Segal ...

**5**

votes

**0**answers

138 views

### Homotopy pullback preserving functor

In the paper http://arxiv.org/pdf/math/0101162.pdf, the authors claim during the proof of Prop. 4.2 that a functor $F:A \to B$ which preserves fibrations and weak equivalences preserves homotopy ...