Related papers: Stratified Toposes
We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of…
A hierarchy of type universes is a rudimentary ingredient in the type theories of many proof assistants to prevent the logical inconsistency resulting from combining dependent functions and the type-in-type rule. In this work, we argue that…
Interpreting the syzygy theorem for tame modules over posets in the setting of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning the existence of stratifications of…
Inspired by the works of Forman on discrete Morse theory, which is a combinatorial adaptation to cell complexes of classical Morse theory on manifolds, we introduce a discrete analogue of the stratified Morse theory of Goresky and…
The fundamental groupoid of a locally 0 and 1-connected space classifies covering spaces, or equivalently local systems. When the space is topologically stratified Treumann, based on unpublished ideas of MacPherson, constructed an `exit…
In this master thesis, we extend results from classical simple homotopy theory to the world of stratified homotopy theory. To obtain a well-established framework to work in, we prove a series of results on two model categories of simplicial…
Homotopy links have proven to be one of the most powerful tools of stratified homotopy theory. In previous work, we described combinatorial models for the generalized homotopy links of a stratified simplicial set. For many purposes, in…
Let $P$ be a poset. We define a new homotopy theory of suitably nice $P$-stratified topological spaces with equivalences on strata and links inverted. We show that the exit-path construction of MacPherson, Treumann, and Lurie defines an…
A complete mathematical framework for coalgebraic formulation of supergeometry and its infinite-dimensional extension is proposed. Within this approach a supermanifold is defined as a graded coalgebra endowed with a smooth structure. The…
We extend the previously established zesting techniques from fusion categories to general tensor categories. In particular we consider the category of comodules over a Hopf algebra, providing a detailed translation of the categorical…
In this informal expository note, we quickly introduce and survey compactifications of strata of holomorphic 1-forms on Riemann surfaces, i.e. spaces of translation surfaces. In the last decade, several of these have been constructed,…
We introduce the concept of a homogeneity supermanifold, which is, roughly speaking, a supermanifold equipped with a privileged atlas whose coordinates carry prescribed (real) homogeneity degrees. This structure defines a sheaf of graded…
In this paper, we investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a…
One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon…
We use derived localization of the bar and nerve constructions to provide simple proofs of a number of results in algebraic topology. This includes a recent generalization of Adams' cobar-construction to the non-simply connected case, and a…
In this paper we show that, besides the usual calculus involving K\"ahler differentials, it is also possible to define conical calculus on schemes and perfectoid spaces; this can be done via a stratification process. Following some ideas…
We introduce a theory of stratifications of noncommutative stacks (i.e. presentable stable $\infty$-categories), and we prove a reconstruction theorem that expresses them in terms of their strata and gluing data. This reconstruction theorem…
Using Morita type stratifications, we establish a one-to-one correspondence between geometric vector fields on a separated differentiable stack and stratified vector fields on its orbit space. This correspondence enables us to derive a…
The notion of cellular stratified spaces was introduced in a joint work of the author with Basabe, Gonz{\'a}lez, and Rudyak with the aim of constructing a cellular model of the configuration space of a sphere. Although the original aim was…
Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum…