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.

Filter by
Sorted by
Tagged with
1
vote
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
3answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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\\ * @>>>...

1
2 3 4 5
13