相关论文: A New Decidable Class of Tuple Generating Dependen…

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…

This paper is a sequel to "T-structures and twisted complexes on derived injectives" by the same author with W. Lowen and M. Van den Bergh. We define a dg-category of unbounded twisted complexes on a dg-category, which is particularly…

Type theories with multi-clocked guarded recursion provide a flexible framework for programming with coinductive types encoding productivity in types. Combining this with solutions to general guarded domain equations one can also construct…

A new class of 3-manifold invariants is constructed from representations of the category of framed tangles.

We classify the thick subcategories of discrete derived categories. To do this we introduce certain generating sets called arc-collections which correspond to configurations of non-crossing arcs on a geometric model. We show that every…

We propose a new model for the theory of $(\infty,n)$-categories (including the case $n=\infty$) in the category of marked cubical sets with connections, similar in flavor to complicial sets of Verity. The model structure characterizing our…

In this paper, we discuss a relationship between representation theory of graded self-injective algebras and that of algebras of finite global dimension. For a positively graded self-injective algebra $A$ such that $A_0$ has finite global…

A class of topological spaces is topologically rigid if any two spaces with the same fundamental group are also homeomorphic. Topological rigidity, in addition to its intrinsic interest, has been useful for solving abstract commensurability…

Recently, a new fractional derivative called the conformable fractional derivative is given on based basic limit definition derivative in [4]. Then, the fractional versions of chain rules, exponential functions, Gronwalls inequality,…

We give criteria for subcategories of a compactly generated algebraic triangulated category to be precovering or preenveloping. These criteria are formulated in terms of closure conditions involving products, coproducts, directed homotopy…

We explain how, under some hypotheses, one can construct a sequence of finite dimensional $kG$-modules that lie in certain prescribed additive subcategories, but whose direct limits do not. We use these to show that many of the triangulated…

Tangent category theory is a well-established categorical framework for differential geometry. A long list of fundamental geometric constructions, such as the tangent bundle functor, vector fields, Euclidean spaces, and vector bundles have…

Classifying isomorphism classes of group gradings on algebras presents a compelling challenge, particularly within the realms of non-simple and infinite-dimensional algebras, which have been relatively unexplored. This study focuses on a…

We clarify selection rules of conjugacy classes of several finite discrete groups where we deal with both gauged and ungauged cases. We find that the selection rules enjoy finite Abelian or non-Abelian discrete symmetries originating from…

The chase is a ubiquitous algorithm in database theory. However, for existential rules (aka tuple-generating dependencies), its termination is not guaranteed, and even undecidable in general. The problem of termination becomes particularly…

We prove the conjecture that higher Verlinde categories are geometrically reductive. This is one of the two properties required in order for recent results on algebraic geometry in tensor categories to apply to these categories. We also…

Autoregressive models, such as the GPT family, use a fixed order, usually left-to-right, to generate sequences. However, this is not a necessity. In this paper, we challenge this assumption and show that by simply adding a positional…

This article makes discrete masked models for the generative modeling of discrete data controllable. The goal is to generate samples of a discrete random variable that adheres to a posterior distribution, satisfies specific constraints, or…

We introduce and study the category of twisted modules over a triangular differential graded bocs. We show that in this category idempotents split, that it admits a natural structure of a Frobenius category, that a twisted module is…

New families of unit memory as well as multi-memory convolutional codes are constructed algebraically in this paper. These convolutional codes are derived from the class of group character codes. The proposed codes have basic generator…