Holmstrom Nerve

nLab

http://ncatlab.org/nlab/show/nerve+and+realization

http://mathoverflow.net/questions/68293/nerves-of-simplicial-objects-in-categories-waldhausens-s-construction

http://mathoverflow.net/questions/117401/is-every-functor-inducing-a-homotopy-equivalence-a-composition-of-adjoint-functor claims that any adjoint functor induced homotopy equiv on the nerve


For any (small?) category CC, one defines a simplicial set BCBC, called its nerve. The qq-simplices of a category CC is the set of functors [q]C[q] \to C, see Dundas, page 24, for details. This construction is an extension of the Yoneda embedding ΔSset\Delta \to Sset, and embeds CatCat as a full subcategory of SsetSset. The nerve has a left adjoint.

If CC is given by a group GG, then BGBG is a K(G,1)K(G,1) space.

Every nerve of a group is a Kan complex, but not every nerve of a category. Actually, a nerve of a small category is a fibrant simplicial set iff the category is a groupoid.

Remark: Every simplicial group (regarded as a simplicial set) is fibrant.

Cox: Homotopy limits and the homotopy type of functor categories; has an alternative description of the nerve of a small category. http://www.ams.org/mathscinet-getitem?mr=0407022

Ref: Page 10 of Baues: Homotopy types (e)

Nerves for bicats, see http://arxiv.org/abs/0903.5058


Q from Maltsiniotis to ALGTOP: Let NN be the nerve functor from categories to simplicial sets and cc its left adjoint. It is well known that cc (or equivalently NcNc) is not compatible with weak equivalences, but what about weakly contractible objects? Grothendieck asks in Pursuing Stacks to find a weakly contractible simplicial set XX such that c(X)c(X) (or Nc(X)Nc(X)) is not weakly contractible, or prove that no such XX exist.

nLab page on Nerve

Created on June 9, 2014 at 21:16:13 by Andreas Holmström