# Questions tagged [simplicial-categories]

The simplicial-categories tag has no usage guidance.

75
questions

5
votes

1
answer

137
views

### Simplicial objects in quasicategory which come from homotopy coherent nerve

Let $\mathcal{C}$ be a simplicially enriched category whose Hom-objects are all Kan complexes. Denote by $N\mathcal{C}$ the homotopy-coherent nerve of $\mathcal{C}$, which is a quasicategory. Suppose ...

5
votes

1
answer

202
views

### Hammock localization and free adjoints

The Hammock localization $L^H \mathcal{C}$ of a relative category $(\mathcal{C},\mathcal
{W})$ is a simplicial category defined by Dwyer and Kan as a way to compute the $\infty$-categorical ...

3
votes

0
answers

68
views

### $n$-truncation of a Simplicial Model Category

I'm working in the category of rational $CDGAs$ and trying to find a reference/construction of a natural $2$-categorical structure via truncation of the mapping spaces.
In my head, the key point is ...

1
vote

1
answer

192
views

### The simplicial set with a unique non-degenerate simplex in each dimension

There is
a unique simplicial set with a unique non-degenerate simplex in each dimension, (updated) and such that all faces of the non-degenerate simplex are non-degenerate.
Does it have a name, and ...

10
votes

0
answers

155
views

### Rectifying diagrams of $\infty$-categories

If $C$ is a 1-category and $D$ is a locally presentable $(\infty,1)$-category presented by a combinatorial model (1-)category $M$, then any $(\infty,1)$-functor $C\to D$ can be represented by a strict ...

3
votes

0
answers

51
views

### Recognising absolute distributors in terms of simplicial model categories

Briefly, my question is the following:
Can we recognise when a simplicial model category $\def\cM{\mathcal M}\cM$ is an absolute distributor, using only the language of (simplicial) model categories?
...

1
vote

0
answers

57
views

### Defining null-homotopy in terms of endofunctors in an arbitrary simplicial category

I am looking for references defining contractible or null-homotopic in terms of endofunctors $\Delta\to\Delta$.
Let $[+1]:\Delta\to\Delta, n\mapsto n+1$ be the endofunctor of $\Delta$ adding a new ...

4
votes

1
answer

147
views

### Classifying the endofunctors of the category $\Delta$ of finite linear orders

Is there a theory of endofunctors of the category $\Delta$ of finite linear orders ?
Can they be classified ? Is there a reference on this ?
Can one classify endofunctors $T:\Delta\to\Delta$ which ...

0
votes

1
answer

281
views

### Defining homotopy via the “doubling” endofunctor of a simplicial category

I am looking for a reference explicitly defining simplicial homotopy
in terms of endofunctors of $\Delta$, and developing homotopy theory in this terms.
The following is a particular question.
Is it ...

1
vote

1
answer

173
views

### Defining homotopy via endofunctors of a simplicial category

$\newcommand\sSets{\text{sSets}}\newcommand\sing{\text{sing}}\DeclareMathOperator\Hom{Hom}\newcommand\Top{\text{Top}}$I am looking for a reference describing the notions of homotopy and ...

2
votes

0
answers

113
views

### Are homotopy colimits strict?

Let's say we are working with a fibrant simplicially enriched category $\mathbf{B}$ that has all limits and all homotopy limits, and let $\mathbf{A}$ be a full subcategory that is closed under weak ...

3
votes

1
answer

275
views

### Homotopy coherent nerve versus simplicial nerve

Background
Recently I asked a question on a particular construction ot the classifying space of a topological group. I got an answer, but it relied on nontrivial Quillen equivalences between various ...

1
vote

0
answers

55
views

### combinatorial equivalence of abstract simplicial complexes

what is the most natural equivalence one defines on abstract simplicial complexes ? The definition is purely combinatorial of abstract SCs. It seems to me that the combinatorial equivalence is however ...

1
vote

0
answers

107
views

### Cohomology of bisimplicial set is the cohomology of the total simplicial set?

Given a bisimplicial manifold (or set, topological space) there is the bar construction, which assigns to it a simplicial manifold, called the total simplicial manifold.
Now stepping back for a moment,...

1
vote

0
answers

60
views

### Tensored and cotensored simplicial comma category

To transfer a tensored and cotensored simplicially enriched structure from a category $\mathcal{C}$ to $(\mathcal{C}\downarrow Z)$, we define $(X\to Z)\otimes K$ by the composite $(X\otimes K \to X \...

3
votes

2
answers

148
views

### The exactness of the associated chain complex of a simplicial free abelian group over a finite set and the normalization theorem

Update:
Now I know why my method fails. But I still wanna know how to work out the original question, that is to show the exactness of the chain complex $C_*(X)$ except for two positions $n=0,N-1$.
...

3
votes

0
answers

89
views

### Singular complex and homotopy coherent nerve as simplicial sets

Let $X$ be a CW complex.
Is the simplicial set $\ \mathrm{Sing}\ X$ isomorphic to the homotopy coherent nerve of some Kan enriched category?
Is this true for $X$ = the real line?

7
votes

1
answer

306
views

### How do the various homotopy 2-categories compare?

There are various models of $\infty$-categories floating around, so there are as many models of the associated homotopy 1- and 2-categories. Because the relations between the former are worked out in ...

2
votes

1
answer

167
views

### Are hammock localizations locally truncated?

Let us take a relative category $(\mathcal{C},\mathcal{W})$, and consider its hammock localization $L_H \mathcal{C}$. It seems to me that for every two objects $X,Y \in \mathcal{C}$ the mapping ...

4
votes

0
answers

97
views

### Projective objects in the category of simplicial objects in an abelian category

Let $S\mathcal{A}$ be the category of simplicial objects in an abelian category $\mathcal{A}$. In exercise 8.4.5 in Weibel's An Introduction to Homological algebra, it is said that $P \in S\mathcal{A}$...

5
votes

1
answer

465
views

### When is a right lifting property closed under pushouts?

A class of morphisms defined by a right Quillen lifting property (weak orthogonality)
is always closed under pullbacks (limits); under what assumptions will it be closed under pushouts (colimits)? In ...

6
votes

0
answers

596
views

### Is hammock localization a localization in the sense of Lurie?

In a series of papers ([1], [2] and [3]), Dwyer and Kan introduced the hammock localization [2] as an effective technique to compute the simplicial localization of a model category [1]. This is meant ...

6
votes

1
answer

99
views

### Non-enriched Bousfield localizations

We know that whenever we have a Bousfield localization between two simplicial model categories, this gives rise to a reflective subcategory in $\infty$-categories (or coreflective, depending on the ...

4
votes

1
answer

151
views

### Homotopy coherent space maps induces homotopy coherent chain complex morphisms

It is an elementary fact that a map $f:X \to Y$ between spaces induces a chain complex morphism $f_* : C_*(X) \to C_*(Y) $. This allows one to transfer 1-category theoretic arguments from spaces to ...

2
votes

0
answers

63
views

### homotopy coherent G-action on tensor product of complexes

Let $G$ be a discrete group and $k$ a field. Suppose $C_1$ and $C_2$ are complexes over $k$ with homotopy coherent actions of $G$ in the sense of Cordier (I've been reading https://arxiv.org/pdf/1801....

13
votes

1
answer

741
views

### Modern proofs for simplicial localizations

I know that the references usually regarded as standard for simplicial localizations are the Dwyer and Kan's three articles from the 80's. I would be interested in a more modern approach to the ...

5
votes

1
answer

564
views

### Homotopy coherent colimits in chain complexes

In remark 1.2.6.2 (HTT), Lurie states that
Another possible approach to the problem of homotopy
coherence is to restrict our attention to simplicial (or topological) categories
C in which every ...

2
votes

1
answer

275
views

### question about notation in HTT of J.Lurie

In page 27 in HTT of J.Lurie, the expression
$$\text{Map}_S(X,Y):=Y^X\times_{S^X}\{\phi\}\in \text{Set}_\Delta$$
appears for simplicial set $X,Y,S$ in Warning 1.2.2.2. However, I couldn't understand ...

2
votes

0
answers

115
views

### when is the pullback along the shift (decalage) morphism a direct product, in sSets

What is the meaning of the following condition on a morphism in sSets
or simplicial topological spaces:
a morphism becomes a direct product after the pullback along
the shift(decalage) morphism ?
...

2
votes

0
answers

47
views

### Eilenberg–Zilber-type theorem for Map([n],A), where the degeneracy maps for [n] are forgotten

The following statement should be immediately implied by Eilenberg–Zilber theorem if the sequences $(i_0,\ldots,i_k)$ below are only monotone. But I need the strict monotone version which I believe to ...

6
votes

1
answer

502
views

### "Universal" triangulated category

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the category of simplicial objects $s\mathcal{C}$ (which is an $\infty$-category), take its ...

7
votes

1
answer

157
views

### Locally minimal simplicial categories

Given a (fibrant) simplicially enriched category $\mathcal{C}$, I'm interested in the possibility of replacing it with a weakly equivalent one (in Bergner model structure) such that all the mapping ...

6
votes

0
answers

115
views

### Morphisms of hammocks in the simplicial localization

Let $\mathcal{C}$ be a category together with a wide subcategory $\mathcal{W} \subset \mathcal{C}$.
In Calculating Simplicial Localizations by Dwyer and Kan, a morphism of hammocks is defined ...

1
vote

1
answer

142
views

### Symetrical simplex category

The simplex category has for objects totally ordered sets $[n]$ , and for morphisms order-preserving functions between those sets.
We can see the totally ordered set $[n]$ of size $n$ of the simplex ...

6
votes

1
answer

194
views

### Cofibrant simplicial categories

Reading about simplicial categories, and in particular the model structure in sCat, I found various sources, among which I can mention this one or section 16.2 in Riehl's book “Categorical homotopy ...

7
votes

1
answer

313
views

### Is the simplicial nerve a localization?

Given a simplicial category $\mathcal{C}_{\ast}$ (if necessary, you may assume it's fibrant), denote as $\mathcal{C}$ its underlying ordinary category, and as $\mathcal{W}$ the class of all ...

4
votes

0
answers

156
views

### Is simplicial localization part of a Quillen equivalence between relative categories and simplicial categories?

There are many models for $\infty$-categories. One of them is relative categories – AKA categories with weak equivalences – which have a model structure due to Barwick–Kan. Another one is simplicial ...

3
votes

1
answer

234
views

### Rigidification of marked simplicial sets

It is well known that there exists a Quillen equivalence,
$$\mathfrak{C}: Set_{\Delta} \rightleftarrows Cat_{\Delta}: N, \enspace \mathfrak{C} \dashv N$$
between Joyal's model structure on ...

5
votes

0
answers

358
views

### The k-ification of the compact-open topology for weak Hausdorff compactly generated spaces

Let CGWH be the category of weak Hausdorff compactly generated spaces; see e.g.
N.P. Strickland. THE CATEGORY OF CGWH SPACES: Preprint available from
https://neil-strickland.staff.shef.ac.uk/courses/...

3
votes

0
answers

86
views

### A variation of the hammock localization

Let $W \subseteq \mathcal{C}$ be a wide subcategory of a category $\mathcal{C}$. The saturation $\overline{W}$ of $W$ is the class of maps of $\mathcal{C}$ which become isomorphisms in $\mathcal{C}[W^{...

1
vote

0
answers

195
views

### Existence of tensor product of infinity operads

I am trying to show, or find a reference, for the following fact:
"Given O,P two infinity operads [in the sense of Lurie, HA, Definition 2.1.1.10], there always exist a tensor product".
In other ...

2
votes

0
answers

151
views

### Homotopy colimits of simplicial objects

Given a simplicial combinatorial model category $\mathcal{M}$ and a simplicial diagram $F\colon \Delta^{\mathrm{op}} \rightarrow \mathcal{M}$, is there a nice (i.e. explicitely computable) way of ...

2
votes

0
answers

54
views

### Simplicial models for mapping spaces of filtered maps

Let $S$ and $K$ be simplicial sets with $K$ Kan. Given simplicial sets $S$ and $K$, we let $SIMP(S,K)$ be the internal hom in the category of simplicial sets. Hence $SIMP(S,K)$ is Kan.
Suppose that ${...

3
votes

1
answer

145
views

### Simplicial models for fibrations between mapping spaces

Let $S,T$ and $K$ be simplicial sets with $K$ Kan. Given simplicial sets $S$ and $K$, we let $SIMP(S,K)$ be the internal hom in the category of simplicial sets. We let $|S|$ denote the geometric ...

4
votes

3
answers

501
views

### Proof that a quasicategory is equivalent to the homotopy coherent nerve of a simplicial category

On the abstract of a paper by Emily Riehl and Dominic Verity, it is stated that
Every quasicategory arises as a the homotopy coherent nerve of a simplicial category up to equivalence.
Where can ...

5
votes

0
answers

122
views

### When is a bisimplicial set diagonal fibrant

Let $sSet^2$ be the category of bisimplicial sets.
In the diagonal model structure on $sSet^2$ weak equivalences are diagonal weak equivalence (i.e.$ X \rightarrow Y$ is a weak equivalence if $dX \...

6
votes

1
answer

247
views

### Understanding two proofs in Dwyer and Kan article "Simplicial Localizations"

I can't understand the proofs of propositions 2.6 and 4.2 in https://www3.nd.edu/~wgd/Dvi/SimplicialLocalizations.pdf
We have a category $C$ and a family of maps $W$, and we define the ...

6
votes

1
answer

277
views

### How are simplicial sets with Quillen model structure a simplicial model category?

I got very lost in checking that simplicial sets with Quillen model structure are indeed a simplicial model category.
Recall that a model category $\mathcal{M}$ is simplicial if it is enriched in $\...

10
votes

1
answer

280
views

### Criterion for homotopy pullback square of simplicial categories

Assume given a pullback square of simplicial categories
$$\begin{array}[c]{ccc}
A&{\rightarrow}&B\\
\downarrow&&\downarrow\\
C&{\rightarrow}&D.
\end{array}$$
Suppose further ...

4
votes

2
answers

770
views

### Filtered colimit of fibrations

In a model category $\mathcal{C}$, is the filtered colimit of fibrations, resp. trivial fibrations, a fibration, resp. trivial fibration?
Thm. 1.2.3.5 in Toen-Vezzosi's "Homotopical algebraic ...