The simplicial-stuff tag has no wiki summary.

**2**

votes

**1**answer

165 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

144 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

473 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

384 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

255 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

106 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

415 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

107 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

343 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

183 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

266 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

189 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

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

**5**

votes

**0**answers

272 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

281 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

176 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

284 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

297 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

138 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

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

**1**

vote

**0**answers

110 views

### Dold-Kan preserves weak equivalences and fibrations

It's well known that Dold-Kan correspondence is an isomorphism between simplicial vector spaces and non-negative chain complexes of vector spaces. Moreover, weak equivalences and fibrations are ...

**9**

votes

**1**answer

479 views

### Three questions on $\operatorname{hocolim}$

I posted this on math.stack.exchange but didn't get a helpful response, so please let me try it here.
Let $D$ be a small category and $F:D\to sSets$ a functor.
There is a bisimplicial set indicated ...

**2**

votes

**2**answers

404 views

### how to make the category of chain complexes into an $(\infty,1)$-category

Related to this question, I would like to know, if there is an explicit presentation
of the $(\infty,1)$-category of a model category of abelian chain complexes, but this time in terms of simplicial ...

**7**

votes

**1**answer

444 views

### Can we invert barycentric subdivision?

With apologies to fellow algebraic topologists, I confess that I have no idea how to answer this innocent-looking question:
(1) Let's say we know that a finite simplicial complex $S$ is the ...

**2**

votes

**1**answer

164 views

### Vector fields on a simplicial manifold.

Is there a known definition of vector fields on a simplicial manifold?
For me, it seems natural that the definition should be something along the lines: Let $M_{\bullet}$ be a simplicial manifold ...

**2**

votes

**0**answers

136 views

### Explicit Lie May structure on cosimplicial DG Lie algebras

In the paper "Homotopy Lie algebras", Schechtman and Hinich proved that any cosimplicial
differential graded Lie algebra has the structure of a 'Lie May algebra'.
If my understanding is right here, ...

**6**

votes

**1**answer

320 views

### Does every simplicial polytope have a topology-preserving contractible edge?

An edge of a triangulated manifold is said to be contractible if it may be contracted to a vertex without modifying the topological type of the underlying manifold. Otherwise, the edge is ...

**4**

votes

**0**answers

202 views

### Is there a local projective model structure on simplicial sheaves? What are its fibrant objects?

Consider a site S (I am mostly interested in hypercomplete sites, e.g., the site of smooth manifolds).
The category of simplicial presheaves SPSh(S) on S can be equipped with the local projective ...

**4**

votes

**2**answers

329 views

### Removing a simplicial subset from a simplicial set

Let $A, X$ be simplicial sets, and suppose there's an inclusion $A \longrightarrow X$. Geometrically realizing the inclusion map, we get a pair of spaces $(\mathcal{A}, \mathcal{X})$. I want to find ...

**3**

votes

**0**answers

259 views

### Simplicial chain complex with ordered simplices

Let $X$ be an abstract simplicial complex. Recall that the usual simplicial chain complex for $X$ is defined as follows. Let $C_k(X)$ be the quotient of the free abelian group on formal symbols ...

**7**

votes

**2**answers

420 views

### Combinatorial distance between simplicial complexes

Let $K_1$ and $K_2$ be two simplicial complexes.
I am seeking a measure of the distance between $K_1$ and $K_2$ when
viewed as combinatorial objects.
What I have in mind is something like this.
...

**1**

vote

**1**answer

167 views

### How to call a simplicial set where every boundary of a simplex can be filled?

What is the correct terminology for the following property of a simplicial set $X_\bullet$:
For every $k\geq 0$, every map $\partial\Delta^k\to X_\bullet$ can be extended to a map $\Delta^k\to ...

**1**

vote

**1**answer

121 views

### homology of $B S^{-1} S$ computation in the proof that $+ = Q$

Let $S$ denote the category of projective (left) $R$-modules with isomorphisms for arrows. We have that
$BS^{-1}S \sim B \text{GL}(R)^+ \times K_0(R)$
In proving this, in Srinivas' algebraic ...

**2**

votes

**1**answer

230 views

### Path components of a monoidal category acting on homology

Let $S$ be a (small) symmetric monoidal category and $X$ a (small) category on which $S$ acts. $\pi_0(S) = \pi_0(BS)$ is naturally an abelian monoid, with $[A] + [B] := [A+B]$, where $[A]$ denotes ...

**12**

votes

**2**answers

593 views

### Multisimplicial geometric realization

Does anyone know a reference or proof for the following? Let $k\geq 1$ and let $X$ be a space. There is a $k$-fold multisimplicial set whose simplices in degree $n_1,\ldots,n_k$ are the maps ...

**2**

votes

**2**answers

252 views

### Simplicial space whose all face/degeneracy maps are homotopy equivalences

I believe that the following is true, but I cannot find a proof. Let $X_\bullet$ be a simplicial topological space (I can add that my $X_\bullet$ comes from a bisimplicial set, so the spaces $X_n$ are ...

**7**

votes

**3**answers

560 views

### When is the projective model structure cartesian? When is the internal hom invariant?

If M is a sufficiently nice model category and D is a small category then there are two natural model structures we can impose on the functor category $Fun(D,M)$ where the weak equivalences are the ...

**2**

votes

**2**answers

500 views

### Simplicial path and loop spaces

I am trying to understand the relationship between the simplicial path space and loop space with the path space of a topological space, and the loop space of a topological space.
I have understood ...

**6**

votes

**2**answers

290 views

### realization of maps between classifying spaces of categories

The classifying space $B\mathcal{C}$ of a small category $\mathcal{C}$ is by definition the geometric realization of the nerve of $\mathcal{C}$. Now let $\mathcal{C}_1$ and $\mathcal{C}_2$ be two ...

**1**

vote

**1**answer

213 views

### Simplicial sets from bisimplicial sets, and their realisations.

From a bisimplicial space $T$, one can consider the simplicial spaces $\underline p \mapsto T_{pp} $, $\underline p \mapsto |\underline q \mapsto T_{pq} |$, and $\underline q \mapsto |\underline p ...

**8**

votes

**0**answers

165 views

### Tangent space, metrics etc. on simplicial sets

Is there a way to attach some sensible notion of tangent space to a simplicial set? If yes, is it possible to transfer typical local data from differential geometry such as metrics to this setting?
...

**15**

votes

**3**answers

852 views

### Testing simplicial complexes for shellability

Question
Are there efficient algorithms to check if a finite simplicial complex defined in terms of its maximal facets is shellable?
By efficient here I am willing to consider anything with ...

**1**

vote

**0**answers

167 views

### Geometric interpretation of higher simpicial homotopy groupoids.

As a geometric interpretation of the simplicial fundamental groupoid, resp. its equivalent relation I thought about something like arcwise differentiable (or arcwise linear) paths modulo "we can go ...

**8**

votes

**0**answers

123 views

### Diameter of simplicial complex mirrored in property of Stanley-Reisner ring?

Consider a pure finite abstract simplicial complex $\Delta$. Define its diameter as the maximal distance between any two facets, i.e., between any two faces of maximal dimension $d-1$. The distance ...

**4**

votes

**1**answer

381 views

### Is every finite subcomplex of a contractible simplicial complex contained in a finite contractible subcomplex?

The question is as in the title:
Is every finite subcomplex of a contractible simplicial complex $K$ contained in a finite contractible subcomplex of $K$? What if we are allowed to take ...

**5**

votes

**2**answers

1k views

### Algebraic Morse theory

In 2005, prof. Emil Skoldberg developed a theory, similar to Forman's Discrete Morse Theory, but suited for arbitrary based chain complexes, in his Morse Theory from an algebraic viewpoint. I'm going ...

**9**

votes

**2**answers

480 views

### The symmetric monoidal category of finite sets

It is well-known that the (augmented) simplex category is the universal monoidal category with a monoid object. What about a commutative analogue? Consider the category $\mathsf{FinSet}$ of finite ...

**2**

votes

**1**answer

196 views

### hypervolume under the square of an n-simplex

I posted this question at math.stackexchange.com, reformulated and posted again both times without much luck. I also asked a math professor at my uni who suggested I post it here. Hopefully, it is ...

**6**

votes

**1**answer

333 views

### The Quillen model structure on simplicial sets as a Bousfield localization

Starting with the trivial model structure on the category of simplicial sets (that is the weak equivalences are exactly the isomorphisms and the cofibrations and fibrations are arbitrary maps), is it ...

**9**

votes

**3**answers

2k views

### This is not a category. What is it?

EDIT The question was based on an error, as it turns out. In fact my example is a category (and therefore a groupoid), by Eric Wofsey's argument. I can't remember why I thought it wasn't, and I feel a ...