Related papers: t-structures are normal torsion theories

We study two classes of torsion classes which generalize functorially finite torsion classes, that is, semistable torsion classes and morphism torsion classes. Semistable torsion classes are parametrized by the elements in the real…

Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…

After two papers on weak cubical categories and {\it collarable} cospans, respectively, we put things together and construct a {\it weak} cubical category of cubical {\it collared} cospans of topological spaces. We also build a second…

We present a new strictification method for type-theoretic structures that are only weakly stable under substitution. Given weakly stable structures over some model of type theory, we construct equivalent strictly stable structures by…

We investigate parametrizations of compactly generated t-structures, or more generally, t-structures with a definable coaisle, in the unbounded derived category D(Mod-A) of a ring A. To this end, we provide a construction of t-structures…

For a manifold $W$ and an $E_d$-algebra $A$, the factorisation homology $\int_W A$ can be seen as a generalisation of the classical configuration space of labelled particles in $W$. It carries an action by the diffeomorphism group…

In this paper, we present an explicit cyclic minimal $A_\infty$ model for the category of matrix factorizations $\MF(W)$ of an isolated hypersurface singularity. The key observation is to use Kontsevich's deformation quantization technique.…

We study fibrations in the category of cubespaces/nilspaces. We show that a fibration of finite degree $f \colon X\rightarrow Y$ between compact ergodic gluing cubespaces (in particular nilspaces) factors as a (possibly countable) tower of…

Given a Henselian and Japanese discrete valuation ring $A$ and a flat and projective $A$-scheme $X$, we follow the approach of Biswas-dos Santos to introduce a full subcategory of coherent modules on $X$ which is then shown to be Tannakian.…

We show a stability-type theorem for foliations on projective spaces which arise as pullbacks of foliations with a split tangent sheaf on weighted projective spaces. As a consequence, we will be able to construct many irreducible components…

We identify spaces of half-translation surfaces, equivalently complex curves with quadratic differential, with spaces of stability structures on Fukaya-type categories of punctured surfaces. This is achieved by new methods involving the…

Throughout this paper $G$ is a fixed group, and $k$ is a fixed field. All categories are assumed to be $k$-linear. First we give a systematic way to induce $G$-precoverings by adjoint functors using a 2-categorical machinery, which unifies…

We give an interpretation of the semi-infinite intersection cohomology sheaf associated to a semisimple simply-connected algebraic group in terms of finite-dimensional geometry. Specifically, we describe a procedure for building…

The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show…

Previous work has shown that the macroscopic structure of the theory of quantum gravity defined by causal dynamical triangulations (CDT) is compatible with that of a de Sitter universe. After emphasizing the strictly nonperturbative nature…

Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free…

Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free…

Truth refers to the satisfaction relation used to define the semantics of model-theoretic languages. The satisfaction relation for first order languages (truth classification), and the preservation of truth by first order interpretations…

We consider the problem of lifting a regular cluster structure on a quasi-affine variety to the ambient affine space and a similar problem of defining a regular pullback of a regular cluster structure under a dominant rational map between…

We recall P. Balmer's definition of tensor triangular Chow group for a tensor triangulated category $\mathcal{K}$ and explore some of its properties. We give a proof that for a suitably nice scheme $X$ it recovers the usual notion of Chow…