The simplicial-stuff tag has no usage guidance.

**10**

votes

**2**answers

544 views

### Is the geometric realization of a level-wise weak equivalence a weak equivalence?

For the purposes of this question a topological space will mean a compactly generated weak Hausdorff space, though I am actually somewhat flexible on what category of topological spaces we use. I ...

**2**

votes

**0**answers

107 views

### How to understand $\mathcal{L}BG \simeq G/^{\text{ad}}G$ in term of simplicial sets?

First let $G$ be a topological group and $BG$ its classifying space. Let $\mathcal{L}BG=\text{Map}(S^1, BG)$ be the free loop space of $BG$.
We can see that $\mathcal{L}BG$ has the homotopy type of ...

**2**

votes

**0**answers

88 views

### A natural simplicial object in the simplicial category (?)

In several works (es. [CS]) the study of the properties of the simplicial category $\Delta$ reveals fundamental aspects of universal properties (eg monoid generator) or basic constructions (eg ...

**10**

votes

**3**answers

572 views

### References for the “nerve of an algebraic variety”

Let's do algebraic geometry over an arbitrary base ring $k$.
I've frequently seen a definition of the algebraic $n$-simplex, as follows:
$$\Delta^n = ...

**2**

votes

**1**answer

189 views

### A certain kind of simplicial complex

I'm interested in collections $\mathcal{C}$ of tuples $\mathbf{t} = (n_1, n_2, \ldots, n_r)$ of positive integers satsifying
if $\mathbf{t}\in \mathcal{C}$ then so is any permutation of $\mathbf{t}$ ...

**6**

votes

**1**answer

302 views

### Are there models for homotopy colimits and limits of simplicial sets that generalize Kan's suspension and loop functors?

Consider the category C of pointed simplicial sets.
The pair of functors X∈C↦X∧S¹∈C and Y∈C↦Map(S¹,Y)∈C
models the suspension and loop functors on the underlying ∞-category of C.
There is another ...

**9**

votes

**0**answers

148 views

### Homotopy theory of suplattices

In Quillen's monograph Homotopical algebra where he introduced the notion of model category, he showed that if $C$ is a bicomplete category with enough regular-projectives in which either (*) every ...

**11**

votes

**0**answers

462 views

### Has this chain complex associated with a simplicial complex been studied before?

I have stumbled upon a construction that has probably been noticed before, and I wonder if anyone can point me to a reference.
Suppose that $K$ is a simplicial complex. Let $P(K)$ be the free abelian ...

**8**

votes

**1**answer

332 views

### Reducing the simplices in the nerve of a category with an object with trivial endomorphism monoid

Let $C$ be a category with an object $X$ such that there are no non-trivial endomorphisms $X\rightarrow X$. Consider a simplex $\sigma$ of the nerve $NC$ of $C$. It is just a string of composable ...

**3**

votes

**0**answers

119 views

### Recognition principle for 2-categories (2-groupoids)

Given a 2-category (i.e. bicategory) $C$ there is a unitary geometrical nerve whose 0-simplices are objects of $C$, 1-simplices are 1-arrows of $C$, 2-simplices are 2-commutative triangles (in certain ...

**2**

votes

**1**answer

381 views

### A question about the proof of Quillen's Theorem A

(I posted this question on Mathstack but I haven't received any answers or comments so I thought I might as well try my luck here. I apologize if it is not an appropriate question.)
Theorem (Quillen) ...

**2**

votes

**0**answers

50 views

### Prove the functor $[n]\to [n]\star [n]$ preserves inner anodyne

Let $f:\Delta\to \Delta$ be the functor given by $[n]\mapsto [n]\star[n]=[2n+1]$. We can extend $f$ cocontinuously to a functor
$$f_!: SSet\to SSet$$
(that is, the left adjoint of the functor $f^*$. ...

**7**

votes

**1**answer

157 views

### Is there any relation between the simplicial $S^1$ and the Hochschild homology of a noncommutative algebras

Let $k$ be the base field and $A$ be a unital associative $k$-algebra. Let's review the Hochschild homology theory: we have the Hochschild chain comple $C_{\cdot}(A)$ where
$$
C_n(A):=A^{\otimes n+1}
...

**13**

votes

**2**answers

431 views

### Group cohomology without G-modules (a.k.a. what does this bar construction compute?)

Without any prior exposure to the cohomology of groups, one might naively proceed by replacing a group by a sort of resolution.
For instance, let's take $G = \mathbb{Z}^2$, and "resolve":
$$ 0 \to ...

**4**

votes

**1**answer

249 views

### Cocycle condition for equivariant sheaves

Let $G$ be an affine group that acts on a variety $X$. Equivariant sheaves on $X$ could be defined in the following way. Consider the simplicial space $X_\bullet$
: $X_n := G^n \times X$, $s_0:X_0 ...

**0**

votes

**1**answer

182 views

### How to define $\Lambda^0_0$, 0-horn of a simplicial point

This is really a trivial question.
The 0-horn of a simplicial point $\Delta^0$ is not defined nor remarked in the books and papers I could find. So one expect if we could make some meaningful ...

**9**

votes

**1**answer

350 views

### Equivariant homotopy, simplicially

It is a classic result of Kan that the homotopy categories (with appropriate model structures) of simplicial sets and of topological spaces (in fact, one could only care about CW-complexes) are ...

**3**

votes

**1**answer

122 views

### What is a homotopy between bisimplicial maps

I originally posted it on stackexchange, but did not get any comments or answer, so I try my luck here.
I am looking for the naive notion of homotopy.
For maps $f, g: A\to B$ of simplicial sets ...

**1**

vote

**0**answers

189 views

### The bar construction or the quotient for monoidal category action on a category

Given a monoid $C$ acting (from the right) on a set $M$, there is a bar construction giving a simplicial set or equivalently a translation/action category,
$$
N_\bullet (M\rtimes C)= \cdots M\times ...

**13**

votes

**1**answer

1k views

### What are simplicial topological spaces intuitively?

(This is a repost of a question from MSE. I hope there is more to say.)
I tend to imagine simplicial objects in a category as some kind of "topological objects", with a notion of homotopy. Simplicial ...

**1**

vote

**1**answer

323 views

### Thomason’s homotopy colimit theorem for pseudo-functor

Thomason’s homotopy colimit theorem
R W Thomason, Homotopy colimits in the category of small categories,
Math. Proc. Camb. Phil. Soc. (1) 85 (1979)91-109
says that for a functor $F:I^{op}\to ...

**2**

votes

**0**answers

64 views

### Relationship of height zero hypercovers to co-cartesian condition on cosimplicial modules

Suppose given a cosimplicial ring $R^\bullet$ and a cosimplicial module $M^\bullet$ (i.e. a cosimplicial Abelian group such that $M^n$ is an $R^n$-(left/right/bi)module). I have seen it said that ...

**6**

votes

**0**answers

147 views

### Uniformly sampling from the set of all simplicial maps

Let $K$ and $L$ be finite simplicial complexes that remain fixed throughout.
How does one efficiently sample (according to the uniform distribution) elements from the finite set of simplicial ...

**0**

votes

**0**answers

101 views

### Characterising singular homology among a more general class of cosimplicial spaces

Is there a way to characterise (up to isomorphism) the cosimplicial spaces $F: \Delta \to \underline{\text{Top}}$ with $F( \underline{n}) \subset \mathbb{R}^{n+1}$ compact and $F(\underline{0})$ a ...

**0**

votes

**0**answers

117 views

### Does compactly supported cohomology make sense for cosimplicial spaces?

As far as I understand, whenever one has something (co)simplicial in spaces, one should take a sort of diagonal to reduce the study to a single space. I'm never sure though whether one preserves only ...

**6**

votes

**1**answer

347 views

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

**2**

votes

**0**answers

113 views

### Weak notions of Kan fibrations

I have two semi-simplicial complexes $X_\bullet$ and $Y_\bullet$, along with a simplicial map $f_\bullet: X_\bullet \to Y_\bullet$. Now $f_\bullet$ is not a Kan fibration: for an $n$-simplex in ...

**2**

votes

**2**answers

437 views

### Finite simplicial sets

A finite simplicial set is a simplicial set having only a finite number of non degenerate simplicies. It is not hard to show that every finite simplicial set has only a finite number of simplicies in ...

**12**

votes

**2**answers

523 views

### Exponentiation in finite simplicial sets

A finite simplicial set is a simplicial set having only a finite number of non degenerate simplicies. My question is: if $A$ and $B$ are finite simplicial sets, does this imply that the simplicial set ...

**12**

votes

**2**answers

624 views

### Is every connected space equivalent to some B(Aut(X))?

Given a connected space $B$, is there always some space $X$ with $B \simeq \mathbf{B}(\mathrm{Aut}(X))$?
Here by space I mean simplicial set, by $\mathrm{Aut}(X)$ I mean the simplicial monoid of ...

**2**

votes

**1**answer

169 views

### What is the suitable setting for supercoherence with value in a bicategory?

It was J.F. Jardine established the so called supercoherence theory in Journal of Pure and Applied Algebra Volume 75, Issue 2, 18 October 1991, Pages 103–194. The result can be roughly stated as ...

**5**

votes

**1**answer

161 views

### On the obstruction of a sequence of simplicial spaces that is levelwise a fibration

Given a sequence of simplicial spaces (actually bisimplicial sets)
$$F\to E\to B$$
that is level-wise a fibration, then the geometric realisation does not necessarily have to be a fibration.
If I ...

**3**

votes

**1**answer

500 views

### Projective objects in HTT

In HTT.5.5.8.18 Lurie defines a projective object $P$ in a quasicategory $\bf C$ as an object such that its corepresented functor ${\rm Map}(P,-)$ "commutes with geometric realizations". I can catch ...

**9**

votes

**2**answers

402 views

### Do Homotopy Fully Faithful Functors Push-out?

A (homotopy) fully faithful functor is a map of $\infty$-categories which induces weak equivalences on mapping spaces.
Are homotopy fully faithful functors preserved under (homotopy) pushout?
More ...

**4**

votes

**1**answer

265 views

### Two definitions of modules in monoidal category

The standard definition of a (left) simplicial module $V$ over some simplicial algebra $A$ is the map of simplicial vector spaces $A\otimes V\to V$ that gives the usual modules component-wise. Here ...

**0**

votes

**1**answer

111 views

### What is the left adjoint for taking rows of a bisimplicial set?

Let $aSS$ / $abSS$ be the category of augmented bi/simplicial sets (one can also consider $SS$/$bSS$ be the usual bi/simplicial sets, the results should related in some reasonable way.)
There is an ...

**9**

votes

**2**answers

438 views

### Simplicial replacements in smoothing theory

As far as I can tell, ever since Milnor's Microbundles and differentiable structures (1961) paper, whenever people talk about $Diff(\mathbb R^n)$ or $PL(\mathbb R^n)$ or $Homeo(\mathbb R^n)$, they ...

**-1**

votes

**1**answer

130 views

### Poset complex of reverse ordering [closed]

This might be too easy but I cannot proof it easily. Any reference or hint will be great.
Q: Suppose P is a poset in which every chain is finite and $\Delta P$ is the poset complex associated to it. ...

**2**

votes

**3**answers

416 views

### How to detect if a simplicial set is the nerve of a groupoid?

I have the following question.
Suppose I have a simplicial set. Is there a way to detect if it actually is isomorphic to a nerve of a groupoid?
I've seen the fact that if you have a nerve ...

**3**

votes

**0**answers

201 views

### What does it mean for the $\Pi_\infty$ groupoid to be fully fibrant?

The original question I had was:
If I have a sequence of simplicial spaces
$$A\to B\to C$$
which is degree-wise a homotopy fibration, under which conditions is
the geometric ...

**4**

votes

**0**answers

343 views

### The normalised cochain complex, totalisation and cosimplicial simplicial $R$-modules

Short Version
Given a cosimplicial space $X_\bullet$, what is the relationship between (co)chains on the totalisation of $X_\bullet$ and the totalisation of the cosimplicial chain complex obtained by ...

**1**

vote

**1**answer

219 views

### Finding automorphism groups of simplicial complexes

Question:
Given a finite simplicial complex $K$, what general techniques allow one to efficiently compute (a presentation of) the group $\text{Aut}(K)$ of $K$'s automorphisms?
Since this is ...

**0**

votes

**1**answer

212 views

### What are the morphisms in the category of zig-zags?

For some reason I am having trouble locating a transparent explanation of precisely what are the morphisms in the category of zig-zags. The objects of this category are specified completely by triples ...

**6**

votes

**1**answer

410 views

### Geometric realization of simplicial spaces and finite limits

Let $X_{\bullet}$ be a simplicial space and denote the (non-fat!) geometric realization by $\lvert X_{\bullet} \rvert$.
Does this geometric realization of simplicial spaces preserve finite ...

**7**

votes

**1**answer

353 views

### What kind of category is a cyclically ordered set?

Background: A preorder is a binary relation $\leq$ which is reflexive and transitive. We can write the transitive property as ${\leq}(a,b)\wedge{\leq}(b,c)\to{\leq}(a,c)$. There are additional axioms ...

**4**

votes

**0**answers

185 views

### Adding morphisms to a category without changing homotopy type

I have a really tame category $C$: there are only finitely many objects $C_0$, each hom-set $C(x,y)$ for $x,y \in C_0$ has at most one element, and (aside from identity morphisms) if $C(x,y)$ is ...

**4**

votes

**1**answer

301 views

### The nerve of categories preserves weak equivalence?

Does the nerve functor $\operatorname{Cat}\to \operatorname{sSet}$ from small categories to simplicial sets preserve weak equivalences?
If $f\colon C\to D$ and $g\colon D\to C$ are functors of small ...

**5**

votes

**2**answers

312 views

### How does one Segal-subdivide a 2-category?

Let $\mathcal{C}$ be a small category. Then, its Segal subdivision $\text{sd }\mathcal{C}$ is a new category whose objects are morphisms of $\mathcal{C}$, and a morphism from $f:x \to y$ to $g: w \to ...

**3**

votes

**0**answers

144 views

### Where does the ''hyper'' go?

There is a model structure on the category $Grpd$ of groupoids such that weak equivalences are equivalences of categories, cofibrations are the injections on objects (see nlab) and there is a Quillen ...

**4**

votes

**1**answer

262 views

### Is there a class of simplicial sets whose weak homotopy type is preserved by symmetrization?

We have the categories, $S$, of simplicial sets and $SS$, of symmetric simplicial sets (whose simplices are unordered). There are functors:
$H:S\to SS$ forgetting the ordering on simplices and
...