For questions about simplicial sets (functors from simplex category to sets), simplicial (co)algebras and simplicial objects in other categories; geometric realization, model structures, Dold-Kahn correspondence etc. Please do not use for questions about geometry of simplices nor about ...

learn more… | top users | synonyms

3
votes
1answer
49 views

Does the functor $\mathbf{cosk_n}:sSet\to sSet$ preserve Kan complexes?

On this nlab page a functor $\mathbf{cosk_n}:sSet\to sSet$ is constructed. Is $\mathbf{cosk_n}(K)$ of a Kan complex $K$ again a Kan complex?
1
vote
1answer
43 views

Homology of a simplicial set

Let $X$ be a simplicial set. Define the complex $(C^X_\bullet,D)$ by $$C^X_n=\bigoplus_{X_n} \mathbb{Z}$$ and $$D_n=\sum_{i=0}^n (-1)^i d_i:C_n \to C_{n-1}$$ where the $d_i$'s are the face maps. I ...
2
votes
1answer
29 views

Why is the internal hom of a Kan complex also a Kan complex?

Let $X, Y : \Delta^{op} \to \text{Set}$ be simplicial sets. I've seen it stated that if $Y$ is a Kan complex, then the internal hom $Y^X$ is a Kan complex also. How does one show this?
-1
votes
0answers
10 views

definition of a fiberwise homotopy

I google it but I did not succeed to find a precise definition of a fiberwise homotopy. Can someone give me the definition of a fiberwise homotopy ? Thanks
5
votes
1answer
94 views

What does it mean for a category to be “tensored over” another category?

What does it mean for a category to be "tensored over" another category? I was reading "Stable model categories are categories of modules" by Schwede and Shipley ...
6
votes
2answers
165 views

How to intrinsically think about simplicial objects.

It seems that a simplicial set should be thought as a space/thing, with encoded building information. The set of $n$-simplicies is the set of n-dimensional pieces and the boundary and degeneracy maps ...
1
vote
0answers
24 views

Proof of Quillen's lemma about minimal fibrations

In Hovey's book $\textit{Model categories}$ (available online here http://www.math.rochester.edu/people/faculty/doug/otherpapers/hovey--model-cats.pdf) one finds the classical result that any ...
1
vote
0answers
56 views

Topological insight on an algebraic theory.

I recently read about the marvelous bar construction. As far as I understand, it is something of a free resolution in an abstract setting. I'm wondering if it can be used to get topological insights ...
1
vote
0answers
15 views

Simplicial Complexes of Graphs notation question

I'm studying Jakob Jonsson's book Simplicial Complexes of Graphs very rigorously and in depth. I've been okay so far with the intensity and notation, but on page Chapter 3, section 2, page 30, I'm ...
0
votes
1answer
11 views

proof of the decomposition of a fibration by a trivial fibration followed by a minimal fibration

In Hovey's book theorem 3.5.9 asserts that any fibration $p:X\rightarrow Y$ can be factored as a trivial fibration followed by a minimal fibration. The proofs begins by defining a set T of simplices ...
1
vote
0answers
24 views

Criterion for projectively cofibrant diagrams?

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 category of functors $\mathbf{D}\to ...
3
votes
0answers
14 views

Is the projection from the cyclic nerve to the simplicial nerve a cyclic map?

I’m trying to understand Loday’s proof of Theorem 7.3.11 in “Cyclic Homology” (2nd ed 1998). I have a problem right at the beginning where it says: The projection map $\text{proj}:\Gamma_\bullet G ...
2
votes
0answers
29 views

Kan's loop group construction

I'm looking for a good place to read about the loop group construction $G : \mathbf{sSet_0} \to \mathbf{sGrp}$ taking a reduced simplicial set $X$ and producing a simplicial group $GX$. I would also ...
2
votes
1answer
32 views

$n$-skeleton and the category of finite simplicial complexes

Let $C$ be the category of finite simplicial complexes with simplicial maps. Then I want to define a functor $F : C \rightarrow C_n$, where $C_n$ is the subcategory of $C$ consisting of complexes up ...
0
votes
0answers
16 views

Are levelwise endofunctors of simplicial sets homotopical?

Let $Set$ be the category of sets and $sSet$ the category of simplicial sets (the category of functors from $\mathbb{\Delta}^{op}$ to $Set$). Every functor $F:Set \to Set$ induces a functor ...
3
votes
0answers
98 views

Associativity of the tensor product of dendroidal sets

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$. ...
1
vote
1answer
34 views

Can one drop the retracts in the definition of anodyne extensions?

Definition: Anodyne extensions(i.e. acyclic cofibration) of simplicial sets are the closure of horn inclusions under transfinite composition, pushouts, and retracts. The composition and pushouts can ...
1
vote
0answers
50 views

Mapping $X$ to $\text{sk}_2(X)$ while fixing $\text{sk}_1(X)$

UPDATE: The original question can be simplified to this: Given a finite simplicial complex $X$, can I find a continuous $f : X \rightarrow \text{skel}^2(X)$ that fixes $\text{skel}^1(X)$? Basically, ...
0
votes
0answers
19 views

homotopy of simplicial maps between infinite complexes

I have such a problem. Let $K,L$ be simplicial complexes, where $K$ is connected, countable and locally finite. In particular we can express $$K=\bigcup_{i=0}^\infty K_i,$$ where $K_0$ is some full ...
1
vote
1answer
28 views

Help identifying two connecting homomorphisms

I'm running into a little trouble with the proof of Proposition 11.1 on page 64 of the first chapter of Goerss and Jardine's book Simplicial Homotopy Theory. Proposition 11.1. Suppose $X$ is a Kan ...
0
votes
0answers
27 views

Restricting a continuous function between simplicial complexes to $2$-skeleton

I have a continuous function $f : X \rightarrow X$, where $X$ is an $8$-dimensional simplicial complex. I want to homotope $f|_{\text{skel}^2(X)} : \text{skel}^2(X) \rightarrow X$ to a function $g : ...
2
votes
1answer
46 views

Proposition 4.2 in Goerss & Jardine's *Simplicial homotopy theory*

I'm having trouble filling in a detail in Goerss and Jardine's book Simplicial homotopy theory. Their Proposition 4.2 claims that two classes of monomorphisms $\mathbf{B}_2\subset\mathbf{B}_3$ in the ...
1
vote
1answer
50 views

cohomology ring of a quotient space

what is the cohomology ring $$ H^*((S^3\times S^3\setminus \{e\})/(a,b)\sim (ab,b^{-1});\mathbb{Z}_2)? $$ Here the unit $e$ and the product $ab$ is of the Lie group $S^3=Sp(1)$.
1
vote
1answer
38 views

cohomology ring of some spaces [closed]

What is the cohomology ring $$ H^*(\mathbb{R}^2\times S^1\setminus (0,1);\mathbb{Z})? $$ $$ H^*(\mathbb{R}^2\times S^3\setminus (0,e);\mathbb{Z})? $$ Here $0=(0,0)\in \mathbb{R}^2$, $1=\exp(i0)\in ...
1
vote
1answer
92 views

Is the Image of a Simplicial Complex under a Simplicial Map again a Simplicial Complex?

I think this is trivially true, but just wanted confirmation. A simple yes or no would be great! Thanks.
1
vote
1answer
22 views

Discrete simplicial spaces are fibrant

As the title suggests, I would like to understand why should a discrete simplicial space be fibrant. Let me be more precise. Consider the category $\textbf{sSet}^{\Delta^{op}}$ of simplicial spaces, ...
4
votes
0answers
60 views

(Co)homology of propositional logic

Sorry if this is a rather vague question, but it seemed like something that might be interesting. Let $P$ be a family of propositions, and let $\mathcal L(P)$ be the set of all compound propositions ...
7
votes
0answers
95 views

History of the term “anodyne” in homotopy theory

There is a notion of an anodyne morphism (usually of simplicial sets). This type of morphisms is used, for instance, to establish basic properties of quasicategories. But the name is quite mysterious. ...
1
vote
1answer
43 views

Contradictory Orientations of Faces in Simplicial Complexes

From what I've read, an orientation of a simplex is an equivalence class of total orders on its vertices, where equivalence means up to even permutation. An orientation on an $n$-simplex induces an ...
2
votes
1answer
40 views

What is a homotopy between bisimplicial maps

I am looking for the naive notion of homotopy. For maps $f, g: A\to B$ of simplicial sets $\Delta^{op}\to Sets$, a homotopy $H$ is a simplicial map $H:A\times\Delta^{1}\to B$ such that ...
5
votes
2answers
116 views

Model structure on sSet

Which is the model structure on $ \text{sSet} $ (category of simplicial sets) that makes $\text{sSet}$ Quillen equivalent to the category $ \text{Cat} $ (of small categories) by the adjunction ...
6
votes
0answers
151 views

Andre-Quillen Homology of the cuspidal curve $k[x,y]/(x^2 - y^3)$

I was wondering if I am in the right track here. Let $A := k[x,y]/(x^2 - y^3)$, the cuspidal curve. Obviously this isn't etale or smooth over $k$ so its cotangent complex is not contractible. Now, I ...
0
votes
1answer
21 views

Relating maximal elements of downsets to minimal elements of the complement

Denote by $\mathcal{P}(S)$ the set of non-empty subsets of a finite $S$. Suppose that $A\subset \mathcal{P}(S)$ is a downset, i.e., every subset $Q$ of any $P\in A$ is also contained in $A$. We can ...
10
votes
3answers
495 views

What is combinatorial homotopy theory?

Edit: After a discussion with t.b. we agreed that this question aims to a different answer from this one, for more information you can read the comment below. Many times I've heard people ...
7
votes
0answers
77 views

Bousfield–Kan spectral sequence for homotopy colimits

Let $\mathcal{J}$ be a small category and let $X : \mathcal{J} \to \mathbf{sSet}$ be a diagram. We define its homotopy colimit $\newcommand{\hocolim}{\mathop{\mathrm{ho}{\varinjlim}}}\hocolim X$ ...
1
vote
1answer
67 views

Examples of the Geometric Realization of a Semi-Simplicial Complex

I am reading The Geometric Realization of a Semi-Simplicial Complex by J. Milnor and here are the definitions: I find it difficult to visualize without specific examples. Can anyone help to provide ...
1
vote
1answer
59 views

homeomorphism between a boundary and a sphere

I started another question related to this. Consider $|\Delta^n|:=\{(x_0,..,x_n)\in\mathbb{R}^{n+1}:\sum_{i=0}^n x_i=1, x_i\in[0,1]\;\forall i\}$ the geometric realization of the standard n-simplex ...
2
votes
0answers
32 views

The identity map $\Delta^n \rightarrow \Delta^n$ is a basis for $H_n(\Delta^n, \delta\Delta^n; R)$

Show that the identity map $\Delta^n \rightarrow \Delta^n$ is a basis for $H_n(\Delta^n, \delta\Delta^n; R)$. Here $\Delta^n$ is the n-simplex, and I know $\delta \Delta^n$ denotes its ...
2
votes
1answer
51 views

the 0-th homology of a simplical complex

Let $K$ be an (abstract) simplicial complex. The claim is: $H_0(K;\mathbb{Z})$ is always nonzero. Is this possible to prove it without any "special techniques to computing homology-groups"? ...
2
votes
1answer
34 views

$\sum_{i=0}^n (-1)^i \delta_i(\sum_{j=0}^{n+1} (-1)^j \delta_j) = 0$, given that $\delta_i \delta_j = \delta_{j-1}\delta_i$ whenever $i < j$

$\sum_{i=0}^n (-1)^i \delta_i(\sum_{j=0}^{n+1} (-1)^j \delta_j) = 0$, given that $\delta_i \delta_j = \delta_{j-1}\delta_i$ whenever $i < j$ This problem shows up in the middle of dealing with ...
0
votes
1answer
86 views
1
vote
1answer
78 views

Notation for a functor between comma categories

Suppose we have two categories $D$ and $S$, as well as two functors $K,L:D\to S$ and a natural transformation $\varphi:K\to L$. Given another category $C$ and a functor $Y:C\to S^D$, is there a nice ...
2
votes
0answers
78 views

Difference between two concepts of homotopy for simplicial maps?

I learn from Gelfand and Manin's Methods of Homological Algebra, Exercise 2 for I.4 that two maps $f,g\colon X\to Y$ between simplicial sets $X,Y$ are simply homotopic (maybe usually called simplicial ...
3
votes
0answers
38 views

Why aren't *weak* test categories enough?

Short version : What is the motivation behind the local condition in the definition of a test category ? Why do we want the slice categories $A/a$ to be weak test ? Long version : I start ...
0
votes
1answer
60 views

cells of quotient CW complex

Let $X$ be a CW complex and $Y$ a CW subcomplex. If $X$ has no cell of dimension $n$, for some $n>0$, then $X/Y$ has no cell of dimension $n$. Is it true? Why?
2
votes
0answers
31 views

When may the bar resolution be truncated for calculating $\operatorname{hocolim}$?

Suppose $D$ is a small category and $F\colon D\to sSets$ a functor. I want to calculate the simplicial set $$\operatorname{hocolim}F$$ via the bar construction: $\operatorname{hocolim}F$ is the ...
1
vote
1answer
18 views

Skeletality of a simplicial set $X$ vs. highest degree of a non-degenerate simplex

Let $X$ be a simplicial set with a non-degenetate simplex in degree $n$ and suppose that all simplices in higher degrees are degenerate. Is $X$ an $n$-skeletal simplicial set and not ...
1
vote
1answer
447 views

Understanding the definition and notation of geometric realization

I had trouble making sense of the definition of geometric realization of a simplicial set. Let $\Delta^n$ be the standard n-simplex defined as the functor $\hom_\Delta(-,$*n*$): \Delta \rightarrow$ ...
1
vote
1answer
42 views

Elementry collapses implies same homotopy type.

Let $\Delta$ be a simplicial complex, and suppose that $\sigma \in \Delta$ is a proper face of exactly one maximal simplex $\tau \in \Delta$. A simplicial collapse of $\Delta$ is the removal of all ...
2
votes
0answers
76 views

Right Kan extension along a diagonal functor.

Denote $\newcommand{\simpcat}{\boldsymbol\Delta} \simpcat$ the simplex category (category of finite ordinals with non decreasing maps). The diagonal functor $\delta \colon \simpcat \to ...