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

0
votes
0answers
34 views

Help with formalisation of a reasoning about simplicial sets

We briefly mention during lectures that the homotopy relation between two maps of simplicial sets is not necessarily symmetric. So I thought for a counterexample but I don't know how to formalise it ...
3
votes
1answer
42 views

Geometric realization of the product of two simplicial sets

Let $X$ and $Y$ be two simplicial sets. Then there is a natural continuous map $\lvert X \times Y \rvert \to \lvert X \rvert \times \lvert Y \rvert$, where the right-hand side is given the product ...
3
votes
1answer
73 views

Nerve of a groupoid is a cyclic set

On page 28 of the COCTALOS lecture notes, it is written that a simplicial set is the nerve of a groupoid if and only if it is a cyclic set in the sense of Connes (I am understanding a presheaf on ...
0
votes
1answer
58 views

Why $|N(P_{i, j})| \cong [0, 1]^n$ as stated in page 21 of HTT?

maybe this is an idiot question, however I could not solve this after thinking for a while. I added the tag about higher categories simply because of the nature of the question, however this is just a ...
2
votes
1answer
38 views

Examples of finite simplicial sets

Let $K$ be a simplicial set. A simplex $x\in K_{n}$ is said to be non degenerate if it is not the degenerancy of a $n-1$ simplex, i.e if there is no $y\in K_{n-1}$ such that $s_{i}y=x$. A simplicial ...
0
votes
0answers
38 views

homotopy between constant simplicial sets

Assume that $K,L$ are constant simplicial sets (i.e all the faces maps and the degenerancies maps are equal to the identity and $K_{i}=K_{0}$, $L_{i}=L_{0}$ for $i>0$). Assume that there is a ...
1
vote
1answer
78 views

Initial strict monoidal category

nlab provides a universal property of the cube category $\Box$. Definition. The cube category is the initial strict monoidal category $(M,\otimes,I)$ equipped with an object $int$ together with ...
2
votes
1answer
92 views

Intuition for the Dold-Kan correspondence

maybe this question does not make sense and it's just a psychological problem of mine. However I cannot understand the geometric picture of the Dold-Kan correspondence. Let $\mathbf{Ab}$ denotes the ...
0
votes
0answers
45 views

Infinitely “deep” globular sets / categories

In the usual sense a globular set consists of objects, arrows between objects, 2-arrows between arrows, etc. having $n$-arrows for every $n \in \mathbb N$ (although some may be empty). A category (or ...
2
votes
0answers
59 views

Question on the relation between the $n$-coskeleton functor and the internal hom-adjunction

(First, let me apologize that I asked an unanswered and related question in the stable case.) The category $\operatorname{sSet_+}$ of pointed simplicial sets is symmetric monoidal closed, i.e. there ...
0
votes
0answers
63 views

Understanding commutative cochain problem

I have just read about commutative cochain problem(CCP) here and I'm trying understand it. It states that you cannot turn(in nontrivial way) simplicial set $S$ to differential graded commutative ...
0
votes
0answers
13 views

How to visualize barycentric subdivision of higher order simplices?

I understand the idea of barycentric subdivision for 1-simplex and 2-simplex. However for higher simplices like 3-simplex or 4-simplex, how do we visualize the barycentric subdivision for those ...
0
votes
0answers
27 views

Relative Barycentric Subdivision question

I have been stuck at this question for days, partly because I don't know how to visualize Barycentric Subdivision of high dimensional simplexes. Question: Let $L$ be a simplicial complex and let $B$ ...
3
votes
0answers
51 views

Classifying space of resolution of a n-regular hypergraph

Let $G =(V(G),E(G)))$ be a $n$-regular hypergraph. Let $Z_n$ be a cyclic group with generator $a.$ Definition : A resolution of $G$ is finite partially ordered set $C$ with $C_0$ is the set of ...
1
vote
1answer
41 views

Fiber of fibration of simplicial sets

$\require{AMScd}$ If $p:E\to B$ is a fibration of simplicial sets, is the fiber in the model category sense, i.e. the homotopy limit of $$\begin{CD}{} @. E \\@. @VVV \\*@>>> B \end{CD}$$ the ...
1
vote
1answer
67 views

Topology on the simplicial complex consisting of the edges $\{1,n\}$ for $\ n \in \mathbb{Z}$

Let $X$ be the simplicial complex consisting of the edges $\{1,n\}$ for $\ n \in \mathbb{Z}$, and $Y=\{re^{in}: 0\leq r\leq 1, n\in \mathbb{Z}\}$. These 2 spaces look similar but I guess they are not ...
1
vote
1answer
605 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$ ...
0
votes
0answers
15 views

n-regular hypergraph and its resolution

Let $G =(V(G),E(G)))$ be a $n$-regular hypergraph. Let $Z_n$ be a cylic group with generator $a.$ Definition : A resolution of $G$ is finite partially ordered set $C$ with $C_0$ is the set of ...
0
votes
0answers
24 views

Lifting a homotopy class $S^k\to X$ into a simplicial set $X$ which is not fibrant but satisfies some weaker horn filling condition

Let $X$ be a connected simplicial set. If $X$ is an Kan complex and $k\geq 0$, then every element $$ \tilde f\in\operatorname{Hom}_{Ho(sSet)}(S^k,X) $$ of the homotopy classes from $S^k$ to $X$ lifts ...
5
votes
1answer
69 views

Cech Cohomology and the Dold-Kan Correspondence

Given a (co/contravariant) functor $F$ from the simplicial category $\Delta$ to an abelian category $A$, we can form its Cech complex (or "alternating face map complex" on the nLab), i.e. ...
2
votes
0answers
47 views

$\Delta$-Complexes Are Hausdorff

I am using the definition of a $\Delta$-complex as given in Hatcher's book here on pg 103. Now on pg. 104, just before the section on Simplicial Homology, Hatcher remarks that if $X$ has a ...
2
votes
0answers
73 views

How to compute (co)limits of enriched categories?

Let $\mathscr{V}$ be a monoidal category. Let $\mathbf{Cat}_{\mathscr{V}}$ be the category of (small) categories. I would like to know how to compute (co)limits in $\mathbf{Cat}_{\mathscr{V}}$. This ...
1
vote
0answers
76 views

On two definitions of the nerve of a simplicial category

Let ${\mathcal C}$ be a simplicial category. Then there are the following two ways of constructing a simplicial set from ${\mathcal C}$: Form the simplicial nerve $\text{N}_\Delta({\mathcal C}) := ...
2
votes
1answer
37 views

explicit equivalent relation in the expression of the classifying space of a monoid

Let $M$ be a topological monoid. $M$ can be considered as a category internal to topological spaces and has a simplicial space $N_\bullet(M)$ as its nerve. (It's also called the internal nerve.) The ...
1
vote
1answer
52 views

what means 'the realization of a topological category'

In the paper Homology Fibrations and the "Group-Completion" Theorem. page 280 bottom line 10-bottom line 12, what means 'the realization of a topological category'?
1
vote
1answer
28 views

homotopy module of a simplicial module

I'm reading a paper about the cotangent complex and I'm having trouble with one of the definitions (3.4 of http://homepages.math.uic.edu/~bshipley/iyengar.pdf ). Let $V$ be a simplicial $R$-module. ...
6
votes
1answer
110 views

cofaces and codegeneracies on Simplicial Sets

Let Δ be the category of finite ordinal numbers with order-preserving maps, i.e., Δ consists of objects strings A morphism f:n→[m] is an order-preserving function (a functor) and we can think of the ...
2
votes
1answer
87 views

Induced map on simplices from order-preserving maps between finite ordinal numbers

Let $\Delta$ be the category of finite ordinal numbers with order-preserving maps, i.e., $\Delta$ consists of objects strings $[n]: 0→1→2→⋯→n$. A morphism $f:[n]→[m]$ is an order-preserving function ...
3
votes
1answer
67 views

Universality of the Simplex Category. Proving Functoriality of the Map.

Let $B$ be a strict monoidal category, and $\left \langle c,\mu ',\eta ' \right \rangle$ a monoid in $B$. Now suppose we consider the simplex category $\left \langle \triangle ,+,0 \right \rangle$, ...
0
votes
1answer
97 views

Category of ordinal numbers

Let $\Delta$ be the category of finite ordinal numbers with order-preserving maps, i.e., $\Delta$ consists of objects strings $$ [n]: 0 \to 1 \to 2 \to \dots \to n. $$ A morphism $f:[n] \to [m]$ is ...
7
votes
1answer
92 views

Boundary of boundary of singular cube is zero (Spivak)

At the bottom of page 99 of M. Spivak's Calculus on Manifolds he arrives at the formula $$\partial (\partial c)=\sum_{i=1}^n \sum_{\alpha=0,1} \sum_{j=1}^{n-1} \sum_{\beta=0,1} ...
2
votes
0answers
38 views

Representation of functions in the simplex category

I am using the following characterization of the simplex category $\Delta$: The objects are finite ordinals and the arrows are weakly monotone functions $f:n\rightarrow m$. $0$ is initial and $1$ is ...
0
votes
0answers
41 views

Where can I find Kan's paper “On c.s.s. categories” from 1957.

Does anyone know how I can find the following article by Daniel Kan: Kan, D. M. On c.s.s. categories Bull. Soc. Math. Mexicana (1957), 82-94. Quillen lists it as a reference in his paper Rational ...
0
votes
1answer
45 views

Is the skeleton-coskeleton adjunction $sSet$-enriched?

Let $n\geq 0$ be an integer. Is the adjunction $$ \mathbf{sk}_k\colon sSet \leftrightarrows sSet\colon\mathbf{cosk}_k $$ of the skeleton and coskeleton an $sSet$-enriched adjunction?
0
votes
0answers
55 views

Classifying space infinite totally ordered set contractible

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 should be the (possible infinite) simplex with vertices $X$, hence I ...
2
votes
0answers
60 views

Question on the coskeleton functor $\mathbf{coskel}'$ for pointed simplicial sets

There is an abstract construction of the coskeleton functor for simplicial set as follows: Fix an integer $n\geq 0$ and take the inclusion of the full subcategory $i_n\colon\Delta_{\leq ...
3
votes
1answer
82 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?
2
votes
1answer
106 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
61 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?
5
votes
1answer
207 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
201 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
37 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
69 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
26 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
16 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
36 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 ...
4
votes
0answers
84 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
51 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
20 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
127 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$. ...