The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
120 views

Glueing a property via homotopy colimits

I have a problem concerning a fact which is stated without proof in this Rezk's draft: http://www.math.uiuc.edu/~rezk/i-hate-the-pi-star-kan-condition.pdf . In the proof of Lemma 2.11, we are given a ...
2
votes
0answers
138 views

Continuous maps to fat geometric realizations of simplicial spaces

The nLab page on partitions of unity mentions the application of partitions of unity as a way to construct continuous maps to geometric realizations of simplicial spaces. However I often feel ...
0
votes
0answers
17 views

Criterion for projectively cofibrant diagrams? [duplicate]

(repost from math.stackexchange) Let $\mathbf{D}$ be a small category, $\mathbf{Set}$ the category of sets and $\mathbf{sSet}$ the category of simplicial sets with its usual model structure. The ...
3
votes
0answers
122 views

Group completion and algebraic K-theory

In the paper "On the group completion of a simplicial monoid", Quillen discusses the applications of group completions to the definition of algebraic K-groups. But it's before his celebrated paper on ...
1
vote
1answer
67 views

Does the kan extension preserves contractible presheaves?

Let $\mathcal{C}$, $\mathcal{D}$ be two small categories. Let $f\: : \: \mathcal{C}\to \mathcal{D}$ be a functor. Then it induces a functor $$ f^{*}\: : \: sPsh(\mathcal{D})\to sPsh(\mathcal{C}) $$ ...
0
votes
1answer
62 views

Canonical colimit and cartesian product of simplicial sets

Let $K$ be a simplicial set and let $\Delta K$ be the category of simplices, i.e the category where the objects are simplicial maps $$ \Delta[n]\to K $$ and the maps $\phi\: : \: (\Delta[n]\to K)\to ...
12
votes
1answer
359 views

Lemma 2.1.1.4 in Lurie's HTT

I have encountered a problem in understanding Lurie's proof of the following fact: "Given a left fibration between simplicial sets $q:X \to S$, there exists a functor $$ho(S) \to Ho(sSet)$$ which is ...
8
votes
4answers
689 views

Topological Grothendieck Construction

Let $C$ be a small category and $F\colon C^{op}\rightarrow Set$ a functor. The Grothendieck construction is the category $F\wr C$ with objects being pairs $(c,x)$ where $c$ is a object of $C$ and ...
8
votes
0answers
306 views

Replacing functors by topologically or simplicially enriched functors

I believe it is true that if a functor $F:Top\to Top$ preserves weak homotopy equivalences then it is related by a natural weak equivalence to some other such functor that is in some sense continuous, ...
0
votes
0answers
26 views

contiguity and infinite complexes

Two simplicial maps $f: K^{(n)}\to L$, $g: K\to L$ are called contiguous if for every simplex $\tau\in K^{(n)}$ and it carrier $\sigma$ we have that $f(\tau)\cup g(\sigma)$ is a simplex in $L$. It ...
0
votes
0answers
64 views

Subdivision of a small category

I am reading about subdivision of a category from this paper: http://www.math.uchicago.edu/~may/VIGRE/VIGRE2010/REUPapers/Delgado.pdf At the page 4, the author of this paper gives the first example ...
9
votes
1answer
262 views

Tensor product of dendroidal sets: counter-examples

For any smal category $A$, I shall write $\widehat A$ for the category $[A^{\text op}, \mathbf{Set}]$ of presheaves on $A$, and $y_A\colon A \to \widehat A$ for the Yoneda embedding relative to $A$. ...
4
votes
1answer
143 views

fibrant generation of $sSet_{Quillen}$?

I wonder if someone has proved that $sSet_{Quillen}$ is not a fibrantly generated model structure ? Do we know something about the possible fibrant generation of $sSet_{Quillen}$ ? Thanks
1
vote
1answer
63 views

Cartesian products between cofibrant simplicial presheaves

Let $Psh(\mathcal{C})$ be the category of simplicial presheaves equipped with the projective model structure. The cartesian product between two representables presheaves is clearly again representable ...
2
votes
0answers
125 views

A Cartesian model structure (and straightening for) on $n$-trivial simplicial sets

A pair $(X,tX)$, with $X$ a simplicial set and $tX$ a collection of simplices of $X$, is said to be stratified if no $0$-simplex is in $X$ and all degenerate simplices of $X$ are in $tX$. Recall a ...
5
votes
1answer
253 views

Descent properties of spaces

I am trying to make sense of what is written in Rezk's draft http://www.math.uiuc.edu/~rezk/i-hate-the-pi-star-kan-condition.pdf In particular, I am referring to Proposition 2.3, which is there stated ...
4
votes
1answer
277 views

Does homotopy invariance of homology follow from the structure of the simplex category $\Delta$?

Explicitly: Let $\Delta$ denote the simplex category, and $\mathscr{C}$ any small category, and fix a functor $F:\Delta \rightarrow \mathscr{C}$ such that $F\Delta^0$ is terminal. Also, assume ...
24
votes
2answers
617 views

A more natural proof of Dold-Kan?

The Dold-Kan correspondence gives an equivalence of categories between $SAb$, the category of simplicial abelian groups, and $Ch_{\geq 0}$, the category of non-negatively graded chain complexes of ...
2
votes
1answer
128 views

recognising weak equivalences of simplicial sets

$\require{AMScd}$ I am interested in detecting using a lifting property when a map $f:X\to Y$ in $sSet$ (with the standard Kan model structure) is a weak equivalence. In the paper Weak Equivalences ...
3
votes
0answers
106 views

Equalizer in Free groups

Let $F_n$ be the free group generated by $x_1,\cdots,x_n$ and for each $1\leq i\leq n$, let a homomorphism $d_i:F_n\to F_{n-1}$ be defined as follows: $d_i(x_r)=x_r$, if $i>r$; $d_i(x_r)=1$, if ...
1
vote
1answer
111 views

Does the nerve functor preserve fibrations?

As asked in the title but more specifically: does the nerve functor from Cat to sSet map a fibration between groupoids to a Kan fibration ? By fibration of groupoids I mean a fibration for the ...
2
votes
1answer
142 views

Is the discrete nerve of a small category a complete Segal space?

While reading Rezk's paper "A model for the homotopy theory of homotopy theory", I found a remark which contradicts a guess of mine, but I can't see where I am wrong (perhaps it might be a silly ...
0
votes
1answer
79 views

contracting homotopy on simplicial sets

Let $X$ be a topological space and let $PX$ be its space of paths. Let $I=[0,1]$ with coordinate $s$. There is an homotopy $$ F\: : \: I\times PM\to PM $$ Defined by $F(s,y)(t):=y(st)$. This map is an ...
4
votes
1answer
191 views

To what extent are homotopy colimits over a weakly contractible category “determined by local data”?

[I'd be very happy for a better question title, if anyone has any suggestions.] I have a category $C$, two functors $F,G : C \to \mbox{Cat}$, a natural transformation $\alpha : F \to G$, and a ...
0
votes
1answer
123 views

Clarification about Joyal's notation [closed]

At the very beginning of chapter 5 of Joyal's lectures on Quasi-Categories (http://mat.uab.cat/~kock/crm/hocat/advanced-course/Quadern45-2.pdf), he uses a notation which I think he has never ...
2
votes
2answers
275 views

When do zero-simplices of a simplicial diagram determine its homotopy colimit?

Suppose that I have a diagram of simplicial sets $X_\bullet:\mathscr{C} \to Set^{\Delta^{op}},$ with $\mathscr{C}$ a small category such that for each $C \in \mathscr{C},$ $X_\bullet(C)$ is a Kan ...
2
votes
0answers
49 views

Cell(J) vs Cof(J) in $\text{sSet}_{\text{Quillen}}$

consider sSet equipped with its Quillen model structure $\text{sSet}_{\text{Quillen}}$, we know that a trivial cofibration is a retract of a transfinite composition of pushouts of horn inclusions. I ...
15
votes
2answers
646 views

When is a topological space the homotopy colimit of an open covering?

Suppose that $X$ is a topological space and $\left(U_i \to X\right)$ is an open cover. We can associate to it the Cech diagram of this cover $$C_U:\Delta^{op} \to Top.$$ I know that for many good ...
4
votes
0answers
93 views

Trying to understand straightening functor associated to a right fibration of simplicial sets

Let $p:X \to S$ be a right fibration of simplicial sets; one can roughly think of it as some sort of "functor" $S^{op} \to Set_\Delta$ (where $Set_\Delta$ denotes simplicial sets) sending $s \in S$ ...
8
votes
1answer
162 views

Freely adding degeneracies does not change the homotopy type

Background: Let $S$ be a simplicial set. By freely adding degeneracies to $S$, I mean first applying the forgetfull functor from simplicial sets to semi-simplicial sets which forget the already ...
8
votes
0answers
100 views

What suffices to check completeness in an n-fold Segal space?

Recall that a Segal space is a simplicial space $X : \Delta \to \mathrm{Spaces}$, $\bullet \mapsto X_\bullet$, which satisfies the Segal condition: For each $j$, the map $$ X_j \to ...
13
votes
1answer
385 views

Higher Cerf Theory

Morse functions on a manifold $M$ are defined as smooth maps $f:M \rightarrow \mathbb{R}$, such that at the critical points we can find local coordinates so that ...
2
votes
0answers
106 views

When is the product of an infinite family of simplicial sets also a homotopy product?

The homotopy product of an infinite family of simplicial sets can be computed by deriving the product functor sSetW→sSet, for example, by performing the componentwise fibrant replacement using Kan's ...
1
vote
0answers
114 views

Why $D^b(S)\cong D^b_{\text{Car}}(\text{cosq}(X\rightarrow S))$?

Let $p: X\rightarrow S$ be a map between topological spaces and we can construct the simplicial space $\text{cosq}(X\rightarrow S)$ where $X_0=X$, $X_1=X\times_S X$ and $$ X_n=\underbrace{ X\times_S ...
5
votes
0answers
165 views

Getting a Postnikov Tower from the Tot-tower?

I have had a problem I've been thinking of recently but can't seem to make anything of it. Let $X$ be a simplicial set. It is well known that one can construct a Postnikov tower $$P_nX \rightarrow ...
3
votes
0answers
107 views

Recognizing Simplicial (Quasi)Fibrations

Let's say we are given two finite simplicial complexes, which I will suggestively call $E$ and $B$. We'd like an algorithm for the following decision problem: Does there exist a simplicial map ...
2
votes
0answers
67 views

Why does $\pi_t$ preserve pullbacks in this special case?

Let $X$ be a fibrant pointed cosimplicial space. Following Bousfield-Kan, let $\text{lim}^{\partial \Delta_{n+1}} X = M^{n}X$ be the nth matching object of $X$. Onecan then show that there is a ...
4
votes
1answer
159 views

In a Simplicial group the Degenerate elements don't intersect the kernel of the face maps.

Let $G_{\bullet}$ be a simplical group. I denote by $D_n \subset G_n$ the subgroup generated by all the degeneracy maps $s_i:G_{n-1} \to G_n$. I also denote $$M_n = \bigcap_{i>0} \mathrm{Ker} d_i ...
0
votes
0answers
50 views

Homotopy addition theorem and lifting in a certain diagram

If I am confusing somewhere here, please excuse me and ask me to clarify. The proof I am having trouble with is lemma 1.19 of Goerss-Jardine, pg. 398. I have tried to isolate the troublesome ...
3
votes
1answer
105 views

Does the right adjoint of the category of simplices functor is “homotopicaly inverse” to the category of simplices functor?

Short Version (the question) Let $\text{Cat}$ be the category of (small) categories and $\text{sSet}$ the category of simplicial sets. There is a functor $\Gamma:\text{sSet}\to \text{Cat}$ that takes ...
3
votes
2answers
251 views

Pseudo-manifolds and homology

Is there a good reference for the proof that the cobordism group of pseudo-manifolds is isomorphic to the singular homology group? I was looking for a more geometrical definition of homology and ...
3
votes
0answers
142 views

A model structure on marked simplicial sets

Do you have a reference for the following fact? And before that, is it true? The Joyal model structure on simplicial sets "lifts" to a model structure on the category of marked simplicial sets, ...
1
vote
1answer
185 views

Milnor's exact sequence and a certain proof

Please forgive me if this is not the right forum for this question. Let $$ X = \cdots \rightarrow X_n \rightarrow X_{n-1} \rightarrow \cdots \rightarrow X_0 = \ast$$ be a tower of fibrations of ...
4
votes
0answers
78 views

Is a finite-dimensional simplicial set the homotopy colimit over a truncated simplicial category?

If $K$ is a simplicial set, we can extend it to a bisimplicial set $K^\prime: \Delta^{op} \to sSet$ by setting $K^\prime_n = (K_n)_\delta$ where $(-)_\delta$ means taking a discrete simplicial set. ...
2
votes
3answers
333 views

Does the nerve functor (resp. fundamental groupoid functor) preserve homotopy colimits (resp. homotopy limits)?

Let $\pi _1:SS\to Grpd$ denote the fundamental groupoid functor, from simplicial sets to groupoids, and let $N:Grpd\to SS$ denote the nerve functor. Then $\pi _1$ is left adjoint to $N.$ On ...
1
vote
0answers
76 views

When can I compute the simplicial mapping space from a presheaf to a simplicial presheaf naively?

Suppose that $\mathscr{C}$ is is a small category, $Y$ is a presheaf (of sets) on $\mathscr{C},$ and $X_\bullet$ is a simplicial presheaf. There is a spectrum of simplicial model structures on ...
5
votes
2answers
142 views

Mapping complexes in the simplicial localization of the category of manifolds

Let $\mathit{Mfd}$ denote the category of smooth manifolds. Let $W$ denote all projections of the form $$M \times \mathbb{R} \to M.$$ Let $\mathit{Mfd}_W$ denote the Hammock localization of ...
6
votes
0answers
136 views

When does a sheaf of categories represent a homotopy sheaf?

Suppose that $F$ is a sheaf of categories (on a Grothendieck site or even a topological space). By this, I mean a sheaf in the naive 1-categorical sense, so it can equivalently be viewed as a category ...
9
votes
1answer
479 views

Why does the singular simplicial space geometrically realize to the original space?

I have seen it claimed that (for compactly generated Hausdorff spaces) the geometric realization of the singular (internal) simplicial space is homotopy equivalent to the original space. I know how to ...
9
votes
2answers
440 views

Is the geometric realization of a level-wise weak equivalence a weak equivalence?

For the purposes of this question a topological space will mean a compactly generated weak Hausdorff space, though I am actually somewhat flexible on what category of topological spaces we use. I ...