The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
0answers
46 views

Homotopy pullback preserving functor

In the paper http://arxiv.org/pdf/math/0101162.pdf, the authors claim during the proof of Prop. 4.2 that a functor $F:A \to B$ which preserves fibrations and weak equivalences preserves homotopy ...
7
votes
1answer
199 views

Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly. Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...
4
votes
2answers
260 views

The classifying space of an infinite totally ordered set is contractible

I asked this question on math.stackexchange, but no one answered. Let $(X,\le)$ be a totally ordered set. Regarding it as a category, it has a classifying space $B(X,\le)=|N_\bullet(X,\le)|$. This ...
4
votes
0answers
226 views

Generalize $\pi_0(B\mathcal{C})\cong\{\text{objects}\}/\{\text{morphisms}\}$ to categories internal to topological spaces

Warmup: Let $\mathcal{C}$ be an ordinary category. Denote by $$B\mathcal{C}=(\coprod_{i\in\mathbb{N_0}}N_{i}(\mathcal{C})\times\Delta^i)/\tilde{}$$ its classifying space, i.e. the geometric ...
6
votes
1answer
144 views

Technical lemma about frame and cosimplicial resolution

I'm reading the Hirschhorn's book model categories and their localization and I have a question about frames and resolutions. Following the book (definition 16.6.1) a cosimplicial frame on an object ...
4
votes
1answer
269 views

Generalizing the circle packing theorem to 3-dimensions

The circle packing theorem (Koebe–Andreev–Thurston theorem) states that every finite planar graph is the nerve of some disk packing in the plane, where the nerve of a packing $P$ is a graph $G=(V,E)$, ...
1
vote
1answer
100 views

$\pi_0$ of a cosimplicial space

Let $n\mapsto X^n$ be a cosimplicial simplicial set and $X:= \underset{\longleftarrow}{\rm holim}\ X^n$ the homotopy limit. Is the natural map $$ \pi_0(X) \to \underset{\longleftarrow}{\rm lim}\ ...
4
votes
1answer
378 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 ...
2
votes
2answers
312 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 ...
0
votes
0answers
44 views

Contraction of simplicial presheaves

Let $X,Y$ be two simplicial presheaves on a small category $\mathcal{C}$, let $*$ be the final simplicial presheaf. Consider the category of simplicial presheaves equipped with its projective model ...
1
vote
1answer
90 views

Homotopy invariance of Kan nerve of simplicial categories

The following question concerns the well-known paper of Dwyer and Kan "Localization of Simplicial Categories". They define a nerve for simplicial categories (with fixed set of objects $O$), by the ...
5
votes
1answer
62 views

Monoidal structure on simplicial sheaves

Let $\mathcal{C}$ be a site and let $sPh(\mathcal{C})_{proj}$ be the category of simplicial presheaves equipped with the projective model structure. This category is a closed monoidal model category ...
5
votes
0answers
168 views

Is there a higher, “orientalish” version of geometric realisation?

Geometric realisation of simplicial sets can be roughly thought of like this: In some category $\mathcal{C}$, we choose an object for every abstract $n$-simplex. In topological spaces, we would ...
4
votes
1answer
187 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 ...
12
votes
2answers
436 views

Exponentiation in finite simplicial sets

A finite simplicial set is a simplicial set having only a finite number of non degenerate simplicies. My question is: if $A$ and $B$ are finite simplicial sets, does this imply that the simplicial set ...
17
votes
6answers
2k views

Simplicial homotopy book suggestion for HTT computations

I'm struggling through Lurie's Higher Topos Theory, since it appears that someone reading through the book is expected to be somewhat comfortable with simplicial homotopy theory. The main trouble ...
0
votes
0answers
19 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
130 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
77 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
75 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 ...
8
votes
4answers
743 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
320 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, ...
12
votes
1answer
380 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 ...
0
votes
0answers
32 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 ...
9
votes
1answer
278 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
152 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
0
votes
0answers
65 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 ...
5
votes
1answer
279 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 ...
1
vote
1answer
74 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
133 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
0answers
249 views

Left adjoints to several inclusions of homotopy simplicial model categories

The left adjoint to the inclusion $sGrp\hookrightarrow sPtSet$ of the category of simplicial groups into the category of pointed simplicial sets is homotopy equivalent to the loop suspension functor ...
5
votes
1answer
291 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 ...
29
votes
1answer
13k views

If I want to study Jacob Lurie's books “Higher Topoi Theory”, “Derived AG”, what prerequisites should I have?

I've been told that it's important to know modern physics, Differential Geometry and Algebraic Topology for understanding higher structures. Is there any other prerequisite for understanding Lurie's ...
24
votes
2answers
638 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
130 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 ...
1
vote
1answer
117 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 ...
3
votes
0answers
109 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 ...
8
votes
4answers
825 views

Is there a sense in which the homotopy theory of simplicial sets is the “paradigmatic” one?

I could not come up with a better title for my question. What I am asking is this (preemptive excuses to all experts in homotopy theory for naivetes of all kinds you may find herein): the ...
2
votes
1answer
148 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
85 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
195 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 ...
3
votes
1answer
110 views

What is a homotopy between bisimplicial maps

I originally posted it on stackexchange, but did not get any comments or answer, so I try my luck here. I am looking for the naive notion of homotopy. For maps $f, g: A\to B$ of simplicial sets ...
0
votes
1answer
127 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
0answers
52 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
670 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
98 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
168 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
102 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
391 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
108 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 ...