相关论文: Stratifying systems and Jordan-H\"{o}lder extriang…
Recollements of triangulated categories may be seen as exact sequences of such categories. Iterated recollements of triangulated categories are analogues of geometric or topological stratifications and of composition series of algebraic…
In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…
In this article we prove that stratified spaces and other geometric subfamilies satisfy categorical Fra\"iss\'e properties, a matter that might be of interest for both geometers and logicians. As a motivation we show a new example of a…
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…
A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces…
We introduce the notion of homological systems $\Theta$ for triangulated categories. Homological systems generalize, on one hand, the notion of stratifying systems in module categories, and on the other hand, the notion of exceptional…
Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $\xi$ of $\mathbb{E}$-triangles. In this paper, we study the quasi-Gorensteinness of extriangulated categories. More precisely, we introduce the…
This paper studies abelian categories that can be decomposed into smaller abelian categories via iterated recollements - such a decomposition we call a stratification. Examples include the categories of (equivariant) perverse sheaves and…
A stratified Lie system is a nonautonomous system of first-order ordinary differential equations on a manifold $M$ described by a $t$-dependent vector field $X=\sum_{\alpha=1}^rg_\alpha X_\alpha$, where $X_1,\ldots,X_r$ are vector fields on…
Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. A notion of proper class in an extriangulated category is defined in this paper. Let…
Let G be an algebraic group over an algebraically closed field, acting on a variety X with finitely many orbits. "Staggered sheaves" are certain complexes of G-equivariant coherent sheaves on X that seem to possess many remarkable…
A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences…
In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian…
We investigate the Jordan-H\"older property (JHP) in exact categories. First, we show that (JHP) holds in an exact category if and only if the Grothendieck monoid introduced by Berenstein and Greenstein is free. Moreover, we give a…
Let $\mathscr{C}$ be an extriangulated category and $\mathcal{X}$ be a semibrick in $\mathscr{C}$. Let $\mathcal{T}$ be the filtration subcategory generated by $\mathcal{X}$. We introduce the weak Jordan-H\"{o}lder property (WJHP) and…
We define triangulated factorization systems on triangulated categories, and prove that a suitable subclass thereof (the normal triangulated torsion theories) corresponds bijectively to $t$-structures on the same category. This result is…
A stratified space is a topological space equipped with a \emph{stratification}, which is a decomposition or partition of the topological space satisfying certain extra conditions. More recently, the notion of poset-stratified space, i.e.,…
An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…
A finite directed category is a $k$-linear category with finitely many objects and an underlying poset structure, where $k$ is an algebraically closed field. This concept unifies structures such as $k$-linerizations of posets and finite EI…
Let $(\mathfrak{C},\mathbb{E},\mathfrak{s})$ be an Ext-finite, Krull-Schmidt and $k$-linear extriangulated category with $k$ a commutative artinian ring. We define an additive subcategory $\mathfrak{C}_r$ (respectively, $\mathfrak{C}_l$) of…