Related papers: t-structures on stable infinity-categories
We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.…
We give a type system in which the universe of types is closed by reflection into it of the logical relation defined externally by induction on the structure of types. This contribution is placed in the context of the search for a natural,…
It is known that factorisation systems in categories can be viewed as unitary pseudo algebras for the "squaring" monad in Cat. We show in this note that an analogous fact holds for proper (i.e., epi-mono) factorisation systems and a…
A tensor model structure is constructed on the category of chain complexes of presheaves of R-modules for a sheaf of rings R in a Grothendieck topos. If the topos has enough points, then the homotopy category is equivalent to the derived…
We introduce a model of simple type theory with potential infinite carrier sets. The functions in this model are automatically continuous, as defined in this paper. This notion of continuity does not rely on topological concepts, including…
We give a combinatorial characterization of generic minimally rigid reflection frameworks. The main new idea is to study a pair of direction networks on the same graph such that one admits faithful realizations and the other has only…
We define new invariants of 3d Calabi-Yau categories endowed with a stability structure. Intuitively, they count the number of semistable objects with fixed class in the K-theory of the category ("number of BPS states with given charge" in…
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…
There is an axiomatic treatment of Morley rank in groups, due to Borovik and Poizat. These axioms form the basis of the algebraic treatment of groups of finite Morley rank which is common today. There are, however, ranked structures, i.e.…
A twisted ring is a ring endowed with a family of endomorphisms satisfying certain relations. One may then consider the notions of twisted module and twisted differential module. We study them and show that, under some general hypothesis,…
This study, fundamentals of fuzzy block theory, and its application in assessment of stability in underground openings, has surveyed. Using fuzzy topics and inserting them in to key block theory, in two ways, fundamentals of fuzzy block…
The energy transition is causing many stability-related challenges for power systems. Transient stability refers to the ability of a power grid's bus angles to retain synchronism after the occurrence of a major fault. In this paper a…
Informed by our understanding of the tt-geometry of permutation modules, we investigate the proper definition of the `stable permutation category' of a finite group. Then we prove that this category decomposes over cyclic and generalized…
We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several…
A generalization of an inverse system in a category was recently introduced, as well as that of the corresponding pro-category These so called the delay-inverse systems and delay-pro-category could potentially yield a new theory of (delay-)…
Complex Finsler vector bundles have been studied mainly by T. Aikou, who defined complex Finsler structures on holomorphic vector bundles. In this paper, we consider the more general case of a holomorphic Lie algebroid E and we introduce…
We extend T. Y. Thomas's approach to the projective structures, over the complex analytic category, by involving the $\rho$-connections. This way, a better control of the projective flatness is obtained and, consequently, we have, for…
In this note we give generalizations and prove 'minimalistic' refinements of the t-birational Section Conjecture (t-BSC), cf. [Be], by doing both: First, by extending the class of base fields over which the t-BSC holds, and second, by…
In this paper, we analyze and compare three of the many algebraic structures that have been used for modeling dependent type theories: categories with families, split type-categories, and representable maps of presheaves. We study these in…
It is shown that there is a useful notion of a relative Bridgeland stability condition on the partially wrapped Fukaya category of a marked surface, relative to some part of the surface's boundary. This construction has nice functorial…