# Tagged Questions

**8**

votes

**1**answer

298 views

### Reducing the simplices in the nerve of a category with an object with trivial endomorphism monoid

Let $C$ be a category with an object $X$ such that there are no non-trivial endomorphisms $X\rightarrow X$. Consider a simplex $\sigma$ of the nerve $NC$ of $C$. It is just a string of composable ...

**3**

votes

**0**answers

94 views

### Recognition principle for 2-categories (2-groupoids)

Given a 2-category (i.e. bicategory) $C$ there is a unitary geometrical nerve whose 0-simplices are objects of $C$, 1-simplices are 1-arrows of $C$, 2-simplices are 2-commutative triangles (in certain ...

**1**

vote

**1**answer

306 views

### A question about the proof of Quillen's Theorem A

(I posted this question on Mathstack but I haven't received any answers or comments so I thought I might as well try my luck here. I apologize if it is not an appropriate question.)
Theorem (Quillen) ...

**6**

votes

**1**answer

316 views

### Morita theorem for simplicial rings

My question is the following: is there an analog of Morita theorem in the simplicial setting?
I mean, we can define two simplicial rings $A,B$ to be simplicially Morita equivalent is the categories ...

**3**

votes

**1**answer

157 views

### What is the suitable setting for supercoherence with value in a bicategory?

It was J.F. Jardine established the so called supercoherence theory in Journal of Pure and Applied Algebra Volume 75, Issue 2, 18 October 1991, Pages 103–194. The result can be roughly stated as ...

**3**

votes

**1**answer

364 views

### Projective objects in HTT

In HTT.5.5.8.18 Lurie defines a projective object $P$ in a quasicategory $\bf C$ as an object such that its corepresented functor ${\rm Map}(P,-)$ "commutes with geometric realizations". I can catch ...

**9**

votes

**2**answers

351 views

### Do Homotopy Fully Faithful Functors Push-out?

A (homotopy) fully faithful functor is a map of $\infty$-categories which induces weak equivalences on mapping spaces.
Are homotopy fully faithful functors preserved under (homotopy) pushout?
More ...

**4**

votes

**1**answer

232 views

### Two definitions of modules in monoidal category

The standard definition of a (left) simplicial module $V$ over some simplicial algebra $A$ is the map of simplicial vector spaces $A\otimes V\to V$ that gives the usual modules component-wise. Here ...

**0**

votes

**1**answer

101 views

### What is the left adjoint for taking rows of a bisimplicial set?

Let $aSS$ / $abSS$ be the category of augmented bi/simplicial sets (one can also consider $SS$/$bSS$ be the usual bi/simplicial sets, the results should related in some reasonable way.)
There is an ...

**0**

votes

**1**answer

200 views

### What are the morphisms in the category of zig-zags?

For some reason I am having trouble locating a transparent explanation of precisely what are the morphisms in the category of zig-zags. The objects of this category are specified completely by triples ...

**7**

votes

**1**answer

261 views

### What kind of category is a cyclically ordered set?

Background: A preorder is a binary relation $\leq$ which is reflexive and transitive. We can write the transitive property as ${\leq}(a,b)\wedge{\leq}(b,c)\to{\leq}(a,c)$. There are additional axioms ...

**4**

votes

**0**answers

164 views

### Adding morphisms to a category without changing homotopy type

I have a really tame category $C$: there are only finitely many objects $C_0$, each hom-set $C(x,y)$ for $x,y \in C_0$ has at most one element, and (aside from identity morphisms) if $C(x,y)$ is ...

**4**

votes

**1**answer

240 views

### The nerve of categories preserves weak equivalence?

Does the nerve functor $\operatorname{Cat}\to \operatorname{sSet}$ from small categories to simplicial sets preserve weak equivalences?
If $f\colon C\to D$ and $g\colon D\to C$ are functors of small ...

**5**

votes

**2**answers

264 views

### How does one Segal-subdivide a 2-category?

Let $\mathcal{C}$ be a small category. Then, its Segal subdivision $\text{sd }\mathcal{C}$ is a new category whose objects are morphisms of $\mathcal{C}$, and a morphism from $f:x \to y$ to $g: w \to ...

**2**

votes

**1**answer

223 views

### Path components of a monoidal category acting on homology

Let $S$ be a (small) symmetric monoidal category and $X$ a (small) category on which $S$ acts. $\pi_0(S) = \pi_0(BS)$ is naturally an abelian monoid, with $[A] + [B] := [A+B]$, where $[A]$ denotes ...

**6**

votes

**2**answers

274 views

### realization of maps between classifying spaces of categories

The classifying space $B\mathcal{C}$ of a small category $\mathcal{C}$ is by definition the geometric realization of the nerve of $\mathcal{C}$. Now let $\mathcal{C}_1$ and $\mathcal{C}_2$ be two ...

**9**

votes

**3**answers

2k views

### This is not a category. What is it?

EDIT The question was based on an error, as it turns out. In fact my example is a category (and therefore a groupoid), by Eric Wofsey's argument. I can't remember why I thought it wasn't, and I feel a ...

**7**

votes

**1**answer

359 views

### Is there an algebraic “derived mapping space” construction that encompasses both Hochschild homology and loop spaces of non-simply-connected spaces?

I'm looking for directions to the literature that might contain fairly explicit constructions that might be called (the algebra of functions on) the "derived mapping space" from a simplicial set to a ...

**2**

votes

**0**answers

162 views

### Which 2-coskeletal simplicial sets is the nerve of a category?

Let ${\mathrm{tr}}_2$ be the truncation functor that takes a simplicial set and restricts it to dimensions at most 2. Its right adjoint is the 2-coskeleton functor. NLab says that the nerve of a small ...

**10**

votes

**0**answers

259 views

### What is the history of the notion of subdivision of categories?

A recent answer by Peter May prompts me to ask a question which I have been considering to ask for several months. (The reason why I have not asked it before is that it is not directly related to my ...

**6**

votes

**4**answers

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

**3**

votes

**2**answers

276 views

### Analogues of fibrations

Recall the following analogy
Serre fibrations : Kan fibrations
in spaces and simplicial sets respectively, related by the singular simplices functor and geometric realisation. There are other ...

**2**

votes

**0**answers

148 views

### Are connected categories with pullbacks weakly contractible?

Quillen's Theorem A says that a functor between (small) categories $f:I\rightarrow J$ induces a weak equivalence of the nerves if for each $j\in J$ the comma category $f/j$ is weakly contractible. In ...

**2**

votes

**1**answer

315 views

### On the construction of the simplicial category $\Delta$

Is a classical example that in the topos $Set$ the set of natural numbers (finite cardinals) $\mathbb{N}$ is the natural-numbers objet as in topos theory definition. Now the category $\Delta$ has for ...

**9**

votes

**1**answer

294 views

### What is the precise relationship between “prodsimplicial sets” and rooted trees?

In Keven Walker's answer to the question, Cubical vs. simplicial singular homology it is written:
Personally, I think it is more convenient to do singular homology with the larger collection ...

**4**

votes

**0**answers

210 views

### Extending the vertex-facet correspondence from Δ to Θ

Recall that in the $n$-simplex $\Delta[n]$, we have a combinatorially crucial bijection between facets, (codimension $1$ faces) and vertices, where the $i$th face of a simplex corresponds to the full ...

**2**

votes

**0**answers

186 views

### On small generators of an infinity category

Suppose that $\mathcal{C}$ is an $\infty$-category with pullbacks and small coproducts. Suppose that $\mathcal{D}$ is a small subcategory for every object $C,$ the canonical map ...

**10**

votes

**2**answers

525 views

### Does the classification diagram localize a category with weak equivalences?

Let $(C,W)$ be a category equipped with a subcategory of weak equivalences. Its "classification diagram" or "bisimplicial nerve" $N(C,W)$ is a bisimplicial set, for which $N(C,W)_n$ is the nerve of ...

**3**

votes

**2**answers

306 views

### Cartesian cubes and groupoids

Given a groupoid $G,$ one can consider the canonical epimorphism $$G_0 \to G.$$ Since it is an epimorphism in the $2$-topos of groupoids, $G$ is the weak colimit of the corresponding Cech diagram ...

**6**

votes

**1**answer

317 views

### Detecting equivalences of (infinity) categories by nerves

I have two questions:
Is there a way to tell if a functor $F:C \to D$ between two small categories is an equivalence in terms of the map $$N(F):N(C) \to N(D)$$ between simplicial sets? More ...

**4**

votes

**1**answer

274 views

### Writing an infinity groupoid as a colimit of sets

If we are given a simplicial set $X:\Delta^{op} \to Set$, we may regard it as a \emph{simplicial} simplicial set, i.e. a bisimplicial set by composing with the "constant" inclusion $Set \to ...

**8**

votes

**0**answers

389 views

### Does the category of strict $2$-categories together with Dwyer-Kan equivalences provide a model for $(\infty,1)$-categories?

The question is the title.
In what follows, all $2$-categories and $2$-functors will be strict. Let $2-Cat$ denote the categories whose objects are $2$-categories and whose morphisms are ...

**0**

votes

**1**answer

282 views

### Is there a dual notion for the Nerve functor?

Say in the most classical case, we probe a topological space $X$ by the n-simplices $\Delta^n$ by using the nerve functor $Hom_{Top}(-,X)$. Is another functor $Hom_{Top}(X,-)$ of any use, or is there ...

**2**

votes

**1**answer

242 views

### Is the nerve of a category a fully faithfully functor up to homotopy?

Let $F,G:C\to D$ be naturally isomorphic functors. Taking the nerve, is $NF,NG:NC\to ND$ homotopy equivalent? Conversely, given a simplicial map $f:NC\to ND$, does there exists a functor $F:C\to D$ ...

**5**

votes

**0**answers

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

**7**

votes

**2**answers

535 views

### Do simplicial objects in a Topos form a model category?

Sometimes people say "If you don't like the word 'topos', just think the category of Sets", but I'm not sure to what extent this analogy holds.
The real question here is, do simplicial object in a ...

**6**

votes

**1**answer

478 views

### What does the “category” of $(\infty,1)$ category look like.

One knows that in higher category theory, the category of $(\infty,n-1)$ categories is naturally an $(\infty,n)$ category ,(I use the word category to mean category in the correct weakened sense). ...

**4**

votes

**1**answer

325 views

### A “join” of ω-categorical simplices

Recall that the category of level trees $\mathcal{T}$ is defined to be the category $[\mathbb{N}^{op},\Delta_a]$, where $\Delta_a$ is the skeleton of the category of finite possibly empty linearly ...

**10**

votes

**1**answer

770 views

### The reflexive free-category comonad-resolution is a cofibrant replacement of the discrete simplicial category associated with an ordinary category in the Bergner model structure on the category of small simplicial categories?

Let $X$ be the category of reflexive quivers, and let $Cat$ be the category of small categories. There exists an evident forgetful functor $U:Cat\to X$ sending a category $A$ to its underlying ...

**1**

vote

**2**answers

527 views

### Nerves of simplicial objects in categories/Waldhausen's S-construction

Is there a good nerve-like functor from simplicial objects in categories to simplicial sets which takes level-wise equivalences of categories to weak equivalences?
To give this some context, I'd ...

**9**

votes

**1**answer

729 views

### Is the simplicial completion of a localizer always a bousfield localization of the injective model structure?

Background
Recall (from Cisinski's Astérisque volume 308) that given a small category $A$, we define an $A$-localizer to be a class $W$ of morphisms of $\mathrm{Psh}(A)$ satisfying the following ...

**2**

votes

**1**answer

222 views

### Induced pretopologies on sSet

Recall that the geometric realisation functor $| - |: sSet \to Top$ preserves products (choosing $Top = k Space$ or similar). Thus any given singleton Grothendieck pretopology on $Top$ gives rise to a ...

**11**

votes

**2**answers

1k views

### What is the homotopy theory of categories?

I've heard that Grothendieck, in his letter "Pursuing Stacks," wanted to find alternative models for the classical homotopy category of CW complexes and continuous maps (up to homotopy), and one of ...

**7**

votes

**2**answers

531 views

### Historical Question about Simplicial Sets

I have a pretty easy historical question about simplicial sets. Unless I am mistaken, simplicial sets first came out of topology, explicitly from combinatorial topology and the study of simplicial ...

**4**

votes

**1**answer

234 views

### Artin-Mazur codiagonal preserves Kan objects?

The Artin-Mazur codiagonal $\nabla:ssSet \to sSet$ is right adjoint to the total decalage functor $Dec:sSet \to ssSet$. The total decalage functor is defined to be precomposition with the ordinal sum ...

**8**

votes

**1**answer

438 views

### Nerve: Groupoids-> Kan Complexes. Nerve: Bicategories w. adjoints -> ?

If you take the nerve of a groupoid, you get a Kan complex.
Question:
Take a bicategory that has adjoints for 1-morphisms, which is one notion of 'weak' groupoid (if all 2-morphisms are ...

**11**

votes

**7**answers

2k views

### History of classifying spaces

Where did the idea and formal definition of the "classifying space of a (small) category" first appear?
Added: As Andy Putman noted below, the "classical" early reference for this is G. Segal's ...

**3**

votes

**1**answer

190 views

### Classifying space of variant on category of simplices

This question might have an easy answer, but my research is far from the region of topology that makes use of classifying spaces of categories, so I can't find it.
For (possibly infinite) integers $0 ...

**4**

votes

**1**answer

229 views

### Compatibility of classifying space with inner-hom?

Let $\mathbf{sTop}$ be the functor category $\mathbf{Top}^{{\mathbf{\Delta}}^{\textit{op}}}$, and let $\mathbf{sCat}$ be the functor category
$\mathbf{Cat}^{{\mathbf{\Delta}}^{\textit{op}}}$, and let ...

**3**

votes

**2**answers

477 views

### From chain complex to simplicial abelian group

In many places, I have seen the slogan that "simplicial abelian group = chain complexes of abelian groups". These same sources usually tell me how to go in one direction. Namely, given a simplicial ...