# Questions tagged [simplicial-stuff]

For questions about simplicial sets, simplicial (co)algebras and simplicial objects in other categories; geometric realization, Dold-Kan correspondence, simplicial resolutions etc.

607
questions

**1**

vote

**1**answer

73 views

### Homotopy descent and cohomology

I've been reading "Structured Brown representability via concordance" by D.Pavlov (https://dmitripavlov.org/concordance.pdf) and I'm strugeling with a point and was wondering if someone ...

**5**

votes

**2**answers

180 views

### Non-degenerate simplexes in a Kan complex

I have the following question on simplicial sets:
a non-constant Kan complex has a non-degenerate simplex in every sufficiently large simplicial degree?
It's Exercise 8.2.3 (p. 262) of Charles ...

**2**

votes

**0**answers

120 views

### Homotopy Kan extensions, formally coherent functors and derived Schlessinger criterion

Let $k$ be a finite field. Denote by $discArt_k$ the category of Artinian rings with residue field $k$ and $Art_k$ the category of Artinian simplicial rings. Consider a functor $\mathcal{F}:disArt_k\...

**5**

votes

**0**answers

53 views

### Locally minimal simplicial categories

Given a (fibrant) simplicially enriched category $\mathcal{C}$, I'm interested in the possibility of replacing it with a weakly equivalent one (in Bergner model structure) such that all the mapping ...

**2**

votes

**1**answer

209 views

### Meaning of “combinatorial data”

I saw several times that often some data describing certain
algebraic objects,
eg the set of cells of a simplical complex
or a Cech cycle of a chosen coving of a variety
are called "combinatorial ...

**5**

votes

**1**answer

128 views

### Visualize (co)sketeton of a simplicial set (geometrical intuition)

I want to understand if there is an intuition approchable with
most possible 'elementary geometrical' knowledge for
$n$-(co)skeleta of simplicial sets?
Formally sketleton & coskeleton functions ...

**4**

votes

**1**answer

108 views

### ($1$-)pullbacks of Kan complexes

Ultimately, I'm trying to figure out whether or not the full subcategory in $\mathbf{sSet}$ spanned by Kan complexes is finitely complete (as a $1$-category).
Since fibrations are stable under ...

**1**

vote

**0**answers

139 views

### Schlessinger criterion and finiteness of tangent space

Schlessinger's criterion allows us to study whether or not a functor $\mathcal{F}:C_{\Lambda}\rightarrow \text{Set}$ from the category of local Artin $\Lambda$-algebras to sets is representable. One ...

**4**

votes

**1**answer

164 views

### Computation on homotopy colimit cocomplete triangulated categories

I have a couple of questions about dealing with homotopy (co)limits cocomplete triangulated categories.
Question I:The first one concerns a comment by Peter Arndt in this discussion about derived ...

**7**

votes

**1**answer

128 views

### Groupoid completion of a topological category vs its homotopy category?

Given a category $\mathcal{C}$ enriched in spaces, we can take the nerve (a simplicial space) and then geometric realization to get a space $B\mathcal{C}$. If we view spaces as $\infty$-groupoids, ...

**3**

votes

**0**answers

159 views

### Etale sites for stacks

Let $X$ be an algebraic stack, let $U\to X$ be a smooth cover by an algebraic space. In this setting, we have the big étale site of $X$ (if $X$ is a stack over a scheme $S$, this is the restriction of ...

**5**

votes

**0**answers

94 views

### The homotopy type of the simplicial space obtained by free adding degeneracies to a semi-simplicial space

Let $\text{sTop},\text{ssTop}$ denote the categories of simplicial, semi-simplicial spaces respectively. There is a functor $E:\text{ssTop}\rightarrow \text{sTop}$ that is left adjoint to the ...

**0**

votes

**0**answers

41 views

### Questions about a structure related to simplicial complexes

While researching some superficially unrelated theory, a structure similar to the one described below presented itself to me. I'm having trouble with identifying what's the structure name. It seems to ...

**5**

votes

**0**answers

79 views

### Simplicial matrices and the nerves of weak n-categories II, III, and IV

Duskin introduced his nerve functor (see the nLab or Kerodon) in the paper
Duskin, John W. Simplicial matrices and the nerves of weak n-categories I: nerves of bicategories. [Link].
While three ...

**3**

votes

**1**answer

82 views

### Multi-simplicial generalization of $\Gamma$-spaces

Is there a generalization of Segal's theorem that the inclusion of $X_1$ into $\Omega|X_*|$ is a weak equivalence for a $\Gamma$-space $X_*$ if $X_1$ is group like? Specifically, I am looking for a ...

**1**

vote

**1**answer

206 views

### How do you prove that the category of weak equivalences of sSet is accessible?

I am trying to prove that the category of simplicial sets is a combinatorial model category by using Proposition A.2.6.15 of Lurie's book, and this requires proving that the weak equivalences are ...

**10**

votes

**0**answers

215 views

### A certain semi-simplicial space

I would like to understand whether the following construction has been studied. Let me model the pointed sphere as $S^n = I^n / \partial I^n$, and let $\Omega^n (-) := map((I^n, \partial I^n), (-, *))$...

**6**

votes

**0**answers

87 views

### Any comparison between the category of cubes and its opposite?

To model topological spaces combinatorially, one can use simplicial sets -- or cubical sets. Simplicial sets are defined as presheaves on the simplex category $\Delta$, the category of non-empty ...

**5**

votes

**1**answer

134 views

### Reference for homotopy colimit = total complex

I'm looking for a reference for the following fact:
take a simplicial chain complex $ X:\Delta^{op}\to Ch_{\geq 0}(\mathcal A)$ for $\mathcal A$ a nice abelian category (say, cocomplete with enough ...

**6**

votes

**3**answers

408 views

### What is the geometric realization of the the nerve of a fundamental groupoid of a space?

It can be easily seen that there exists a functor $F:Top \rightarrow Grpd$ from the category of topological spaces to the category of groupoids defined as follows:
Obj: $X \mapsto \pi_{\leq 1}(X)$, ...

**5**

votes

**0**answers

164 views

### The $\infty$-category of natural transformations as an end

Let $\mathcal{C}$ be an $\infty$-category viewed as a fibrant scaled simplicial set with all 2-simplices thin and let $\mathfrak{C}\!at_{\infty}$ be the $\infty$-bicategory of $\infty$-categories. A ...

**4**

votes

**1**answer

305 views

### What is the notion of a group object and its action in a 2-category?

It is well known that a group object in a category $C$ (with terminal object $1$ and such that any two objects of $C$ have a product) is defined as an object $G$ in $C$ with the following morphisms:
$...

**1**

vote

**0**answers

86 views

### What is the meaning of lifting property? and some question in $\infty$-category

When I learn model category, the important compute tool is the lifting property between $(\operatorname{Cof}, \operatorname{Fib} \cap W)$ and $(\operatorname{Cof} \cap W, \operatorname{Fib}) $, where $...

**5**

votes

**1**answer

106 views

### Considering each half of factorization of weak equivalence separately

I have been working through the proof of Theorem 3.4.1 in the article https://arxiv.org/pdf/1211.2851.pdf (pages 35-6), but there is one technical detail still unclear to me.
Specifically, we have ...

**2**

votes

**0**answers

69 views

### Pro-trivial cosimplicial tower of spaces

Let $\{X^\bullet_s\}$ be a cosimplicial tower of spaces. In other words, for each fixed "tower degree" n, we have a (let's assume Reedy fibrant) cosimplicial space $X^\bullet_n$, and for each fixed ...

**1**

vote

**0**answers

51 views

### Simplicial differential graded algebra and a filtration

Let $A$ be a simplicial differential algebra, i.e. for each $n \in \mathbb{N}$ a differential graded algebra $(A_n,d_n)$ and for each weakly increasing map $f \colon [n] \to [m]$ a morphism $f_* \...

**1**

vote

**1**answer

147 views

### Showing that a certain simplicial set has levelwise small cardinality

My question concerns Section 2 of the article "The Simplicial Model of Univalent Foundations (after Voevodsky)" (https://arxiv.org/pdf/1211.2851.pdf).
Let $\alpha$ be a strongly inaccessible cardinal....

**4**

votes

**1**answer

74 views

### On equivalences of cartesian fibrations

Let $p:X^{\natural} \to S$, $q:Y^{\natural} \to S$ be two cartesian fibrations of simplicial sets (where the marking is given by cartesian edges) and assume that we are given an equivalence of ...

**2**

votes

**0**answers

113 views

### Is every simplicial spectrum equivalent to an abelian group simplicial spectrum?

I wonder if every simplicial $S^1$-spectrum stable equivalent to an abelian group simplicial $S^1$-spectrum? It seems that I could use the stable Dold-Kan on the heart and use Postnikov towers?

**3**

votes

**1**answer

68 views

### Representing simplicial homotopy classes by empty cubes

I am looking for references concerning the following facts, which I believe to be true:
In a Kan complex $K$, can I use "empty cubes" $\partial(\Delta^1)^{(n+1)}$ with the vertex $(0,0,\ldots,0)$ ...

**2**

votes

**0**answers

52 views

### A name in literature for a certain kind of 2-categories

Let $tr_2: \mathrm{sSet} \to \mathrm{sSet}_{\le 2} $ be the 2-truncation functor.
Let $C$ be a 2-truncated simplicial set such that every horn $tr_2( \Lambda^2_1) \to C$ extends to $tr_2(\Delta_2) \...

**6**

votes

**1**answer

203 views

### Understanding the adjunction $\mathfrak{C}:\mathbf{Set}^{\Delta^{op}}\rightleftharpoons \mathbf{Cat}_\Delta:\mathcal{N}$

Let $\mathbf{Cat}_\Delta$ denote the category of simplicially enriched categories (ie simplicial objects in $\mathbf{Cat}$ with all face and degeneracy maps bijective on objects). There is a canonical ...

**5**

votes

**1**answer

402 views

### Classifying space BG and contractable space EG

This question is probably not research level that's why I asked it previously on MSE a week ago. Unfortunately it doesn't get much attention there and I thought I would try it here.
Choose a ...

**5**

votes

**0**answers

96 views

### Morphisms of hammocks in the simplicial localization

Let $\mathcal{C}$ be a category together with a wide subcategory $\mathcal{W} \subset \mathcal{C}$.
In Calculating Simplicial Localizations by Dwyer and Kan, a morphism of hammocks is defined ...

**11**

votes

**0**answers

241 views

### Computations using “Stover's spectral sequence”

In this article from 1990, Stover describes a specral sequence which converges to the higher homotopy groups of the homotopy colimit of a diagram $\underline{X}$ of topological spaces.
The second ...

**1**

vote

**1**answer

106 views

### Symetrical simplex category

The simplex category has for objects totally ordered sets $[n]$ , and for morphisms order-preserving functions between those sets.
We can see the totally ordered set $[n]$ of size $n$ of the simplex ...

**7**

votes

**0**answers

229 views

### Generalization of familiar theorem about singular homology to general model category

I have two questions, the first one is just wether the following statement is true or not? Is there a reference for this?
The second question is maybe related, I don't know. But anyway, given $U:\...

**4**

votes

**1**answer

443 views

### Homotopy of functors

Recently I have read two different proposals for a notion of homotopy between functors, and I am curious which contexts each best lend themselves to. The first comes from Ming-Jung Lee's 1972 paper ...

**10**

votes

**1**answer

375 views

### Correspondences of $\infty$-categories

In Higher topos theory and Higher algebra Lurie defines (see section 2.3.1 of HTT) a correspondence between two $\infty$-categories $C$ and $D$ as being an $\infty$-category $\mathcal{M}$ over $\Delta[...

**10**

votes

**1**answer

242 views

### abelianization and homotopy

I deleted by previous questions, seems they are too vague. Let me try to ask a more precise question.
Let $f:G\rightarrow K$ a morphism of simplicial groups such that $f$ is a weak homotopy ...

**0**

votes

**0**answers

79 views

### Is the 1-simplex left homotopic to the 0-simplex?

I know they are weak equivalent (as simplicial sets). Is there a proof that they are NOT left homotopic? Here 'left homotopy' means there is a map
$$f:\triangle[1]\times\triangle[1]\to\triangle[1]$$
...

**12**

votes

**2**answers

466 views

### About contractibility of certain categories

Let $\mathcal{C}$ be an ordinary 1-category and suppose that there exists some object $X \in \mathcal{C}$ such that the following conditions are satisfied,
(1) For every $C \in \mathcal{C}$ we have $\...

**5**

votes

**1**answer

351 views

### Category of spaces/sheaves

Consider the following category $\mathcal C$:
An object of $\mathcal C$ is a pair $(X,\mathcal F)$ where $X$ is a space and $\mathcal F$ is a sheaf on $X$.
A morphism $(X,\mathcal F)\to(Y,\mathcal G)$...

**1**

vote

**0**answers

66 views

### Face maps of cosimplicial abelian groups under Dold-Kan correspondence

This might be a stupid question, but I feel really confused how the cosimplicial Dold-Kan works explicitly...
Recall
Let $$C_\bullet:=\dots\to C_2\to C_1\to C_0$$ be a chain complex of abelian ...

**5**

votes

**1**answer

107 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 ...

**4**

votes

**1**answer

116 views

### Homotopy group of exterior powers of simplicial vector spaces

Let $C^\bullet$ be a cochain complex in positive degrees, by Dold-Kan correspondence it corresponds to a cosimplicial abelian group $D\colon \Delta\to \mathrm{Ab}$.
Let $F$ be a field, let $C^{\...

**4**

votes

**2**answers

232 views

### Pullbacks and fibers in the $\infty$-category of spaces

Suppose given a commutative diagram in the $\infty$-category of spaces, as the one depicted below, where all but the bottom-right squares are pullbacks. Is it true that $H$ is (equivalent to) the ...

**4**

votes

**0**answers

117 views

### A notion of fibration on bisimplicial sets

[I am not trained in this stuff, but have an outside research interest, so sorry if this question is standard.]
I am interested in notions of fibrations, or fibrant objects, in bisimplicial sets. In ...

**3**

votes

**0**answers

210 views

### Does $\pi_0$ commute with (homotopy) limits?

Consider in the category sSet of simplicial sets, let $X$ be a $J$-indexed diagram in sSet ($J$ a small category), and for each $j\in J$, $X_j$ is a Kan complex, then do we have
$\pi_0({\rm holim}_{...

**1**

vote

**0**answers

98 views

### Based loops objects in model categories

If I have a pointed model category then for I can define based loops objects as homotopy pullbacks:
$\require{AMScd}$
\begin{CD}
\Omega X @>>> *\\
@V V V @VV V\\
* @>>>...