# Tagged Questions

**1**

vote

**1**answer

113 views

### homology of $B S^{-1} S$ computation in the proof that $+ = Q$

Let $S$ denote the category of projective (left) $R$-modules with isomorphisms for arrows. We have that
$BS^{-1}S \sim B \text{GL}(R)^+ \times K_0(R)$
In proving this, in Srinivas' algebraic ...

**1**

vote

**1**answer

200 views

### Simplicial sets from bisimplicial sets, and their realisations.

From a bisimplicial space $T$, one can consider the simplicial spaces $\underline p \mapsto T_{pp} $, $\underline p \mapsto |\underline q \mapsto T_{pq} |$, and $\underline q \mapsto |\underline p ...

**2**

votes

**0**answers

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

**1**

vote

**2**answers

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

**5**

votes

**1**answer

965 views

### Geometric Realization of a Simplicial Category

Let $S:\varDelta^{op}\to (cat)$ be a functor where the category on the right is the category whose objects are categories with cofibrations and morphisms are exact functors(from Waldhausen's paper, ...