相关论文: Homotopical Algebraic Geometry I: Topos theory

In recent years, attempts to generalize lattice gauge theories to model topological order have been carried out through the so called $2$-gauge theories. These have opened the door to interesting new models and new topological phases which…

A general method for lifting weak factorization systems in a category S to model category structures on simplicial objects in S is described, analogously to the lifting of cotorsion pairs in Abelian categories to model category structures…

Using methods from commutative algebra and topos-theory, we construct topos-theoretical points for the fppf topology of a scheme. These points are indexed by both a geometric point and a limit ordinal. The resulting stalks of the structure…

We compare the structure of a mapping cone in the category Top^D of spaces under a space D with differentials in algebraic models like crossed complexes and quadratic complexes. Several subcategories of Top^D are identified with algebraic…

A topology is defined on the mapping class group of a compact connected orientable surface. It is shown that a notion of "genericity" on subsets of the mapping class group arises from this definition. Many plausible results follow from this…

Reasoning in the 2-category Con of contexts, certain sketches for arithmetic universes (i.e. list arithmetic pretoposes; AUs), is shown to give rise to base-independent results of Grothendieck toposes, provided the base elementary topos has…

Topos theory is a category-theoretic axiomatization of set theory. Model categories are a category-theoretical framework for abstract homotopy theory. They are complete and cocomplete categories endowed with three classes of morphisms…

An n-truncated model structure on simplicial (pre-)sheaves is described having as weak equivalences maps that induce isomorphisms on certain homotopy sheaves only up to degree n. Starting from one of Jardine's intermediate model structures…

In this article we address the first part of the programme presented in \cite{Teleman_arXiv_III}, \S 2; we construct the local $K$- theory level of the index formula. Our construction is sufficiently general to encompass the algebra of…

In the context of relative topos theory via stacks, we introduce the notion of existential fibred site and of existential topos of such a site. These notions allow us to develop relative topos theory in a way which naturally generalizes the…

We extend the notion of algebraic stack to an arbitrary subcanonical site C. If the topology on C is local on the target and satisfies descent for morphisms, we show that algebraic stacks are precisely those which are weakly equivalent to…

We classify compact 2-connected homogeneous spaces with the same rational cohomology as a product of spheres. This classification relies on spectral sequences, homotopy theory, and representation theory. We then apply this classification to…

In this paper, we investigate the concept of local homeomorphism in Esakia spaces. We introduce the notion of etale Heyting H-algebra and establish category-theoretic duality for etale Heyting H-algebra in the case of finite Heyting algebra…

Modalities in homotopy type theory are used to create and access subuniverses of a given type universe. These have significant applications throughout mathematics and computer science, and in particular can be used to create universes in…

Since Quillen proved his famous equivalences of homotopy categories in 1969, much work has been done towards classifying the rational homotopy types of simply connected topological places. The majority of this work has focused on rational…

Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the…

Let $X$ be a $G$-space. In this paper, we introduce the notion of sectional category with respect to $G$. As a result, we obtain $G$-homotopy invariants: the LS category with respect to $G$, the sequential topological complexity with…

We use techniques from relative algebraic geometry and homotopical algebraic geometry in order to construct several categories of schemes defined "under Spec Z". We define this way the categories of N-schemes, F_1-schemes, S-schemes,…

We study algebraic K-theory and topological Hochschild homology in the setting of bimodules over a stable category, a datum we refer to as a laced category. We show that in this setting both K-theory and THH carry universal properties, the…

We develop a "Soergel theory" for Bruhat-constructible perverse sheaves on the flag variety $G/B$ of a complex reductive group $G$, with coefficients in an arbitrary field $\Bbbk$. Namely, we describe the endomorphisms of the projective…