0
votes
0answers
11 views

Carrier maps between simplicial complexes

Simplicial complexes are useful in proving things about distributed systems. We define and use simplicial maps between two such complexes, and these maps also seem to be standard objects of study in ...
5
votes
0answers
39 views

A theorem of Kan regarding fibrant replacement

Recall that there is an adjunction $$\mathrm{Sd} \dashv \mathrm{Ex} : \mathbf{sSet} \to \mathbf{sSet}$$ where $\mathrm{Sd} (\Delta^n)$ is the first barycentric subdivision of $\Delta^n$. There is a ...
6
votes
1answer
62 views

Cohomological Whitehead theorem

Let $X$ and $Y$ be CW complexes (resp. Kan complexes) and let $f : X \to Y$ be a continuous map (resp. morphism of simplicial sets). The following seems to be a folklore result: Theorem. The ...
3
votes
0answers
57 views

Morita theory 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
3answers
126 views

Why are simplicial categories useful?

By simplicial category here I mean simplicially enriched category, i.e. all $Hom$-sets are simplicial sets and compositions are morphisms of simplicial sets. My question is the following. Suppose I ...
4
votes
0answers
71 views

The two-sided simplicial bar construction is Reedy-cofibrant

Let $\mathcal{M}$ be a simplicial model category and let $\mathbb{C}$ be a small category. For a diagram $F : \mathbb{C} \to \mathcal{M}$ and a weight $G : \mathbb{C}^\mathrm{op} \to \mathbf{sSet}$, ...
8
votes
3answers
388 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 ...