All Questions
Tagged with simplicial-categories model-categories
29 questions
0
votes
0
answers
18
views
classifications of all weak factorisation systems on a category [duplicate]
Is there an example of a category where all the weak factorisation systems have been classified ? Is this something that people tried to classify ?
This can be done trivially for Sets (see the ...
3
votes
1
answer
133
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 ...
- 285
10
votes
0
answers
163
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 ...
- 66.8k
3
votes
0
answers
55
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?
...
- 627
1
vote
0
answers
59
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
5
votes
1
answer
525
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
8
votes
1
answer
862
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 ...
- 2,152
6
votes
1
answer
113
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,071
5
votes
1
answer
659
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,152
6
votes
1
answer
224
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,071
8
votes
1
answer
335
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,071
4
votes
0
answers
164
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 ...
- 5,040
6
votes
0
answers
408
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/...
1
vote
0
answers
214
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,152
2
votes
0
answers
170
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
162
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 ...
5
votes
0
answers
124
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
288
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 $\...
- 765
4
votes
2
answers
855
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
3
votes
1
answer
660
views
Coproducts of weak equivalences
In a model category $\mathcal{C}$ admitting a forgetful functor to simplicial sets, is the coproduct of weak equivalences a weak equivalence?
Say even just coproducts indexed by $\mathbf{N}$.
A ...
user95222
4
votes
1
answer
193
views
Kan complexes and semigroups
Given a simplicial commutative semigroup:
(1) is it true that its underlying simplicial set is a Kan complex if and only if the simplicial semigroup was a simplicial group?
(2) is the constant ...
user92332
8
votes
0
answers
190
views
Unaugmentable cosimplicial simplicial sheaves and realization functor
I'm studying the construction of the $\mathrm{Sing}$ functor in Morel-Voevodsky ``$\mathbb{A}^1$-homotopy theory of schemes'' and I was trying to understand the properties of its left adjoint, the ...
- 303
3
votes
2
answers
262
views
Is the projective model structure simplicial?
Let $D$ be a combinatorial simplicial model category (e.g $SSet$ with the standard model structure) and let $C$ be a small simplicial category. Of course, we can consider the projective model ...
- 913
12
votes
2
answers
777
views
Simple question: different definitions of Bousfield localization
I am not an expert on model categories and I am getting lost with two different definitions I have found on Bousfield localizations. I don't see the link between them.
First definition: Let $\mathbf{...
- 2,871
6
votes
1
answer
613
views
Stabilization of a generic pointed model category
Let $\mathcal C$ be a pointed model category. It is well-known that its homotopy category $\mathrm{Ho}(\mathcal C)$ is naturally a $\mathrm{Ho}(\underline{\mathrm{sSet}}_*)$-category, where $\mathrm{...
- 2,399
1
vote
0
answers
231
views
Internal Hom on simplicial presheaves and the preservation of cofibrant objects
1)Let $\mathcal{C}$ be a cartesian closed small category. Let $\operatorname{Map}\: : \: sPsh(\mathcal{C})\times sPsh(\mathcal{C})\to sPsh(\mathcal{C})$ be the internal Hom of simplicial presheaves, i....
- 1,424
0
votes
1
answer
293
views
equivalence in simplicial category
Let $(\mathcal{C},W)$ be a category with weak equivalences. One can build from $(\mathcal{C},W)$ its hammock localization $L^{H}(\mathcal{C},W)$ which is a simplicial category $\textit{ie}$ a category ...
user2664
1
vote
1
answer
348
views
Homotopy limit of a cosimplicial category
Consider the usual model structure on Cat (category of small categories).
Which are the fibrations of the injective model structure on the category of cosimplicial categories $Fun( \Delta ,Cat )$?
...
- 875