The functors Wbar and Diag o Nerve are simplicially homotopy equivalent

Décalage and Kan's simplicial loop group functor

Given a bisimplicial set, there are two ways to extract from it a simplicial set: the diagonal simplicial set and the less well known total simplicial set of Artin and Mazur. There is a natural comparison map between these two simplicial sets, and it is a theorem due to Cegarra and Remedios and independently Joyal and Tierney, that this comparison map is a weak equivalence for any bisimplicial set. In this paper we will give a new, elementary proof of this result. As an application, we will revisit Kan's simplicial loop group functor G. We will give a simple formula for this functor, which is …

$(\infty,n)$-范畴的同伦相干神经

A homotopy coherent nerve for $(\infty,n)$-categories

本文为 $(\infty,n)$-范畴构造同伦相干神经，证明其给出严格丰富范畴与 Segal 范畴对象模型间的右 Quillen 等价，从而统一两种同伦相干图定义。

An equivariant discrete model for complexified arrangement complements

We define a partial ordering on the set Q = Q(M) of pairs of topes of an oriented matroid M, and show the geometric realization |Q| of the order complex of Q has the same homotopy type as the Salvetti complex of M. For any element e of the ground set, the complex |Qe| associated to the rank-one oriented matroid on {e} has the homotopy type of the circle. There is a natural free simplicial action of Z4 on |Q|, with orbit space isomorphic to the order complex of the poset Q(M,e) associated to the pointed (or affine) oriented matroid (M,e). If M is the oriented matroid of an arrangement A of line…