1
vote
1answer
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
1answer
201 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
0answers
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
2answers
540 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
1answer
968 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, ...