0
votes
0answers
130 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 ...
6
votes
1answer
316 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 ...
4
votes
1answer
232 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 ...
1
vote
0answers
101 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 ...
8
votes
1answer
270 views

Question about tetrahedron decomposition

Are there tetrahedra which can be subdivided into three parts similar to the original? I believe this would require splitting one face into three parts. I know some types of tetrahedron for which this ...
7
votes
2answers
360 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. ...
9
votes
2answers
386 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 ...
15
votes
1answer
459 views

How many simplicial complexes on n vertices up to homotopy equivalence?

Fix a number $n$, and define $\gamma(n)$ to be the number of simplicial complexes on $n$ unlabeled vertices up to homotopy equivalence. It is unlikely that an explicit formula exists, but what is ...
3
votes
1answer
348 views

When is homotopy orbit space weakly equivalent to orbit space, other than situation of free action?

Let $M$ be a closed symmetric monoidal model category. Let $X$ be a cofibrant object (it can also be fibrant if you like) and let $\Sigma_n$ act on $X^{\otimes n}$ by permuting the factors (note that ...
4
votes
3answers
501 views

Constructing a simplicial set homology-equivalent to a given CW complex

I would like to compute the homology of certain low dimensional CW complexes and I am hoping to take advantage of software that handles simplicial sets as input. Thus, I would like to convert a CW ...
3
votes
1answer
191 views

Explicit contraction for the universal simplicial bundle WG

For a simplicial group $G$, there is a universal bundle $WG \to \overline{W}G$ in the category of simplicial sets, detailed in for example May's book (djvu). Now $WG$ has a simple enough description ...
2
votes
1answer
173 views

Simplicial complex made of central idempotents of an algebra

Let $A$ be an algebra, say over $\mathbb{C}$ and finite-dimensional, but not necessary semisimple. I have the strong feeling, which I would like to prove and use, about the following rather natural ...
1
vote
2answers
278 views
2
votes
0answers
180 views

The Mayer-Viertoris exact sequence as a (Zariski) descent spectral sequence.

For certain 'spaces' $U,V$ (they are certain Henselizations of subvarieties) I would like to compute (certain etale) cohomology of $U\cup V$ in terms of the corresponding cohomology of the diagram ...
4
votes
0answers
97 views

What is known about the number of permissible simplicial complexes given the number of k-cells?

Motivation: I am working on a problem that reduces to finding simplicial complexes given some data (details are unnecessary), but all I have managed to wrangle from my input is the number of cells of ...
8
votes
1answer
291 views

Is the model category of Complete Segal Spaces right proper?

Well, the title is self-explaining, I guess - I am referring to the complete Segal space model structure of Theorem 7.2 in Rezk's article "A model for the homotopy theory of homotopy theories". Has ...