Related papers: Homotopy Theory for Ordered Simplicial Complexes
We quiver-interpret the classical simplicial theory - including the cosimplex category $\Delta$, Dold-Kan correspondence, and Hochschild homology - as a certain Q-homotopy theory of type $A$. For the cyclic and cubical theories, we proceed…
The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of…
Graphs with given k vertices generate an (acyclic) simplicial complex. We describe the homology of its quotient complex, formed by all connected graphs, and demonstrate its applications to the topology of braid groups, knot theory,…
Pursuing ideas of Jeff Smith, we develop a homotopy theory of ideals of monoids in a symmetric monoidal model category. This includes Smith ideals of structured ring spectra and of differential graded algebras. Such Smith ideals are NOT…
In this article, we construct a cofibrantly generated Quillen model structure on the category of small topological categories $\mathbf{Cat}_{\mathbf{Top}}$. It is Quillen equivalent to the Joyal model structure of $(\infty,1)$-categories…
There are many ways to present model categories, each with a different point of view. Here we'd like to treat model categories as a way to build and control resolutions. This an historical approach, as in his original and spectacular…
We give a new construction of the Joyal model structure on the category of simplicial sets, and we provide a simple characterization of the fibrations in it. We characterize the inner anodyne maps in terms of categorical equivalences and…
Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…
This article investigates the homotopy theory of simplicial commutative algebras with a view to homological applications.
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
The use of homological and homotopical devices, such as Tor and Andr\'e-Quillen homology, have found substantial use in characterizing commutative algebras. The primary category setting has been differentially graded algebras and modules,…
Simplicial arrangements are classical objects in discrete geometry. Their classification remains an open problem but there is a list conjectured to be complete at least for rank three. A further important class in the theory of hyperplane…
This article presents a novel approach to construct a model category structure designed to model the homotopy theory of spaces equipped with an action by the group $C_2$, where morphisms are considered to be isovariant. Our methodology…
We prove a version of Quillen's theorems for a map of semi-Segal spaces. We construct a bi-semi-simplicial resolution similar to the one associated to a functor of non-unital topological categories. As a consequence we can represent the…
We prove that the classifying space of a simplicial group is modeled by its homotopy coherent nerve.
We produce combinatorial models for configuration space in a simplicial complex, and for configurations near a single point ("local configuration space.") The model for local configuration space is built out of the poset of poset structures…
We prove that the simplicial complex whose simplices are the nonempty partial bases of $\mathbb{F}_n$ is homotopy equivalent to a wedge of $(n-1)$-spheres. Moreover, we show that it is Cohen-Macaulay.
A model category is called combinatorial if it is cofibrantly generated and its underlying category is locally presentable. As shown in recent years, homotopy categories of combinatorial model categories share useful properties, such as…
We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial…
This is a survey. The main subject of this survey is the homotopical or homological nature of certain structures which appear in classical problems about groups, Lie rings and group rings. It is well known that the (generalized) dimension…