Related papers: Sheaves of ordered spaces and interval theories

We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology…

In this article we review some recent developments in heterotic compactifications. In particular we review an ``inherently toric'' description of certain sheaves, called equivariant sheaves, that has recently been discussed in the physics…

By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…

Ordered locally convex spaces is an important classes of spaces in the theory of ordered topological vector spaces just as locally convex spaces in the theory of topological vector spaces. Some special classes of ordered locally convex…

This is the second in a series of papers. Here we develop here an intersection theory for manifolds equipped with an action of a finite group. As in our previous paper, our approach will be homotopy theoretic, enabling us to circumvent the…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

The study of topological information of spatial objects has for a long time been a focus of research in disciplines like computational geometry, spatial reasoning, cognitive science, and robotics. While the majority of these researches…

Homology theories for associative algebraic structures are well established and have been studied for a long time. More recently, homology theories for self-distributive algebraic structures motivated by knot theory, such as quandles and…

This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…

Many complicated network problems can be easily understood on small networks. Difficulties arise when small networks are combined into larger ones. Fortunately, the mathematical theory of sheaves was constructed to address just this kind of…

In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on…

The Hopf theorem states that homotopy classes of continuous maps from a closed connected oriented smooth $n$-manifold $M$ to the $n$-sphere are classified by their degree. Such a map is equivalent to a section of the trivial $n$-sphere…

We prove a homotopy theorem for sheaves. Its application shortens and simplifies the proof of many Oka principles such as Gromov's Oka principle for elliptic submersions.

In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and…

The collection of open sets of a topological space forms a Heyting algebra, which leads to the idea of a Heyting algebra as a generalized topological space. In fact, a sober topological space may be reconstructed from its locale of open…

Using sheaf theory, I introduce a continuous theory of persistence for mappings between compact manifolds. In the case both manifolds are orientable, the theory holds for integer coefficients. The sheaf introduced here is stable to…

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…

We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to…