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 ...
- 335
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 ...
- 39.4k
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 ...
- 233
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 ...
- 503
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 ...
- 64.1k
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?
...
- 587
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 ...
- 317
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 ...
- 317
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 ...
- 317
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 ...
- 317
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 ...
- 1,053
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,617
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 ...
- 494
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,148
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,697
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$.
...
- 389
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?
- 870
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 ...
- 225
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 ...
- 1,053
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}$...
- 1,044
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 ...
- 63
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 ...
- 1,836
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 ...
- 1,053
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 ...
- 1,836
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....
- 101
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 ...
- 1,053
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 ...
- 1,836
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 ...
- 183
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 ?
...
- 51
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 ...
- 461
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 ...
- 4,136
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 ...
- 1,053
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 ...
- 427
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 ...
- 201
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 ...
- 1,053
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 ...
- 1,053
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 ...
- 4,705
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 ...
- 427
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^{...
- 4,330
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 ...
- 1,836
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 ...
- 1,403
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 ...
- 9,697
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 \...
- 263
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 ...
- 101
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 $\...
- 755
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 ...
- 650
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 ...
user95222