Related papers: Higher stacks as diagrams

Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…

Let p=tp(a/A) be a stationary type in an arbitrary finite rank stable theory, and P an A-invariant family of partial types. The following property is introduced and characterised: whenever c is definable over (A,a) and a is not algebraic…

We give new homotopy theoretic criteria for deciding when a fibration with homotopy finite fibers admits a reduction to a fiber bundle with compact topological manifold fibers. The criteria lead to a new and unexpected result about…

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…

Fields exhibit a variety of topological properties, like different topological charges, when field space in the continuum is composed by more than one topological sector. Lattice treatments usually encounter difficulties describing those…

We show that conically smooth stratified spaces embed fully faithfully into $\infty$-categories. This articulates a stratified generalization of the homotopy hypothesis proposed by Grothendieck. As such, each $\infty$-category defines a…

A graph K is multiplicative if a homomorphism from any product G x H to K implies a homomorphism from G or from H. Hedetniemi's conjecture states that all cliques are multiplicative. In an attempt to explore the boundaries of current…

We generalize two classical homotopy theory results, the Blakers-Massey Theorem and Quillen's Theorem B, to G-equivariant cubical diagrams of spaces, for a discrete group G. We show that the equivariant Freudenthal suspension Theorem for…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

We develop foundations for abstract homotopy theory based on Grothendieck's idea of a "derivator". The theory is model-independent, and does not depend on model categories, nor on simplicial sets. It is designed to accomodate all the usual…

The notion of graph cover, also known as locally bijective homomorphism, is a discretization of covering spaces known from general topology. It is a pair of incidence-preserving vertex- and edge-mappings between two graphs, the…

Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…

A graph G is locally isometric if the subgraph induced by the neighbourhood of every vertex is an isometric subgraph of G. It is shown that the hamilton cycle problem for locally isometric graphs with maximum degree at most 8 is…

We consider the homotopy type of maps between symplectic surface whose graphs form symplectic submanifolds of the product. We give a purely topological model for this space in terms of maps with constrained numbers of pre-images. We use…

In this paper we define a family of topological spaces, which contains and vastly generalizes the higher-dimensional Dunce hats. Our definition is purely combinatorial, and is phrased in terms of identifications of boundary simplices of…

Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…

This paper takes its starting point in an idea of Grothendieck on the representation of homotopy types. We show that any locally finite nilpotent homotopy can be represented by a simplicial set which is a finitely generated free group in…

In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in homotopy type theory. This allows us to provide an elementary…

We present two hypermatrix formulations of the Cayley Hamilton theorem. One of the proposed formulation naturally extends to hypermatrices the combinatorial interpretations of the classical Cayley Hamilton theorem. We conclude by discussing…

Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these…