Related papers: A model category for local po-spaces
One of the most useful methods for studying the stable homotopy category is localising at some spectrum E. For an arbitrary stable model category we introduce a candidate for the E-localisation of this model category. We study the…
Categorical bundles provide a natural framework for gauge theories involving multiple gauge groups. Unlike the case of traditional bundles there are distinct notions of triviality, and hence also of local triviality, for categorical…
Basic assumptions about comparison-based indexing are laid down and a general design space is derived from these. An index structure spanning this design space (the sprawl) is described, along with an associated family of partitioning…
In other to study connections and gauge theories on noncommutative spaces it is useful to use the local trivializations of principal bundles. In this note we show how to use noncommutative localization theory to describe a simple version of…
Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…
The category of presheaves on a (small) category is a suitable semantic universe to study behaviour of various dynamical systems. In particular, presheaves can be used to record the executions of a system and their morphisms correspond to…
We put a model structure on the category of categories internal to simplicial sets whose weak equivalences are reflected by the nerve functor to bisimplicial sets with Rezk's model structure. This model structure is shown to be Quillen…
Model-based approaches bear great promise for decision making of agents interacting with the physical world. In the context of spatial environments, different types of problems such as localisation, mapping, navigation or autonomous…
We introduce a general framework for generating dualities between categories of partial orders and categories of ordered Stone spaces; we recover in particular the classical Priestley duality for distributive lattices and establish several…
In this paper, we discuss the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves. One construction proceeds via Brown representability and provides a classification in the pointed model category.…
We extend the notion of a factorization system in a category to the realm of $\infty$-categories. To this end, we provide a description of the category of $\infty$-categories with factorization systems as the category of presheaves of…
In this paper, we introduce a method to construct new categories which look like "cubes", and discuss model structures on the presheaf categories over them. First, we introduce a notion of thin-powered structure on small categories, which…
We consider \Gamma-equivariant principal G-bundles over proper \Gamma-CW-complexes with prescribed family of local representations. We construct and analyze their classifying spaces for locally compact, second countable topological groups…
We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed…
We give a homotopy theoretic characterization of stacks on a site $\cC$ as the {\it homotopy sheaves} of groupoids on $\cC$. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare…
We show that weak equivalences in a (cofibrantly generated) left Bousfield localization of the projective model category of simplicial presheaves can be characterized by a local lifting property if and only if the localization is exact.
This is an announcement of a long paper in progress. On a locally compact space, we introduce the stack of ind-sheaves (ind-objects of the category of sheaves with compact support) and construct the analogous of the usual six operations on…
Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…
Let $G$ be a semisimple algebraic group over an algebraically closed field $k$, whose characteristic is positive and does not divide the order of the Weyl group of $G$, and let $\breve G$ be its Langlands dual group over $k$. Let $C$ be a…
In this paper we study the classifying theory of principal bundles in the parametrized setting, motivated by recent interest in higher gauge theory. Using simplicial techniques, we construct a product-preserving classifying space functor…