Related papers: Internal and local homotopy theory

This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets,…

Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…

In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that…

We prove that a weak equivalence between two cofibrant (colored) props in chain complexes induces a Dwyer-Kan equivalence between the simplicial localizations of the associated categories of algebras. This homotopy invariance under base…

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…

In Quillen's paper on rational homotopy theory, the category of 1-reduced simplicial sets is endowed with a family of model structures, the most prominent of which is the one in which the weak equivalences are the rational homotopy…

We prove that a homotopy cofinal functor between small categories induces a weak equivalence between homotopy colimits of pointed simplicial sets. This is used to prove that the non-Abelian homology of a group diagram is isomorphic to the…

We introduce a new `geometric realization' of an (abstract) simplicial complex, inspired by probability theory. This space (and its completion) is a metric space, which has the right (weak) homotopy type, and which can be compared with the…

We describe various equivalent ways of associating to an orbifold, or more generally a higher \'etale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we…

We construct a localic groupoid $\mathbb{G}_{KH}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a category whose objects are principal $\mathbb{G}_{KH}$-bundles over…

We study the homotopy right Kan extension of homotopy sheaves on a category to its free cocompletion, i.e. to its category of presheaves. Any pretopology on the original category induces a canonical pretopology of generalised coverings on…

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…

In a previous paper [22] the author studied the directed weak covering homotopy property (dWCHP)and directed weak fibrations in the category dTop of directed spaces in the sense of M. Grandis [12], [13], [14]. This type of maps extend to…

We present a slight variation on a notion of weak \infty-groupoid introduced by Grothendieck in Pursuing Stacks and we study the homotopy theory of these \infty-groupoids. We prove that the obvious definition for homotopy groups of…

We decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria…

This paper is a continuation of our previous work in which we defined the notion of a polytope complex and its $K$-theory. In this paper we produce formulas for the delooping of a simplicial polytope complex and the cofiber of a morphism of…

We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial…

We develop the homotopy theory of semisimplicial sets constructively and without reference to point-set topology to obtain a constructive model for $\omega$-groupoids. Most of the development is folklore, but for a few results the author is…

The aim of this paper is to show that the most elementary homotopy theory of $\mathbf{G}$-spaces is equivalent to a homotopy theory of simplicial sets over $\mathbf{BG}$, where $\mathbf{G}$ is a fixed group. Both homotopy theories are…

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…