English
Related papers

Related papers: Facets of congruence distributivity in Goursat cat…

200 papers

We give a category theoretic approach to several known equivalences from (classic) tilting theory and commutative algebra. Furthermore, we apply our main results to establish a duality theory for relative Cohen-Macaulay modules in the sense…

Commutative Algebra · Mathematics 2017-10-25 Olgur Celikbas , Henrik Holm

For every $n$, we evaluate the smallest $k$ such that the congruence inclusion $\alpha (\beta \circ_n \gamma ) \subseteq \alpha \beta \circ_{k} \alpha \gamma $ holds in a variety of reducts of lattices introduced by K. Baker. We also study…

Rings and Algebras · Mathematics 2021-02-09 Paolo Lipparini

The familiar adjunction between ordered sets and completely distributive lattices can be extended to generalised metric spaces, that is, categories enriched over a quantale (a lattice of "truth values"), via an appropriate distributive law…

Category Theory · Mathematics 2021-12-28 Adriana Balan , Alexander Kurz

Categories enriched over a commutative unital quantale can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain…

Category Theory · Mathematics 2007-05-23 Hongliang Lai , Dexue Zhang

We show that a variety $\mathcal V$ is congruence distributive if and only if there is some $h$ such that the inclusion (1) $\Theta \cap ( \sigma \circ \sigma ) \subseteq ( \Theta \cap \sigma ) \circ ( \Theta \cap \sigma ) \circ \dots $…

Rings and Algebras · Mathematics 2018-09-10 Paolo Lipparini

We show that types of bracket-generating distributions lead to new classes of Lie systems with compatible geometric structures. Specifically, the $n$-trailer system is analysed, showing that its associated distribution is related to a Lie…

Dynamical Systems · Mathematics 2025-11-04 Oscar Carballal

The starting point of this work is a theorem due to Maxwell characterizing the distribution of a Gaussian vector with at least two coordinates. We define the Gaussian orthogonal, unitary and symplectic tensor ensembles for notions of real…

Mathematical Physics · Physics 2026-04-02 Rémi Bonnin

Given a measurable space (X, M) there is a (Galois) connection between sub-sigma-algebras of M and equivalence relations on X. On the other hand equivalence relations on X are closely related to congruences on stochastic relations. In…

Logic in Computer Science · Computer Science 2010-06-03 Ingo Battenfeld

Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for…

Category Theory · Mathematics 2009-04-15 Petter Andreas Bergh , Srikanth B. Iyengar , Henning Krause , Steffen Oppermann

These notes attempt to give a short survey of the approach to support theory and the study of lattices of triangulated subcategories through the machinery of tensor triangular geometry. One main aim is to introduce the material necessary to…

Category Theory · Mathematics 2016-01-15 Greg Stevenson

We start developing a notion of reciprocity sheaves, generalizing Voevodsky's homotopy invariant presheaves with transfers which were used in the construction of his triangulated categories of motives. We hope reciprocity sheaves will…

Algebraic Geometry · Mathematics 2019-02-20 Bruno Kahn , Shuji Saito , Takao Yamazaki

In this paper we study derived equivalences between triangular matrix algebras using certain classical recollements. We show that special properties of these recollements actually characterize triangular matrix algebras, and describe…

Representation Theory · Mathematics 2015-07-30 Liping Li

We relate commutative algebras in braided tensor categories to braid-reversed tensor equivalences, motivated by vertex algebra representation theory. First, for $\mathcal{C}$ a braided tensor category, we give a detailed construction of the…

Quantum Algebra · Mathematics 2022-01-14 Thomas Creutzig , Shashank Kanade , Robert McRae

Let $V$ be a vertex operator algebra satisfying suitable conditions such that in particular its module category has a natural vertex tensor category structure, and consequently, a natural braided tensor category structure. We prove that the…

Quantum Algebra · Mathematics 2015-05-20 Yi-Zhi Huang , Alexander Kirillov , James Lepowsky

We initiate the theory of graded commutative 2-rings, a categorification of graded commutative rings. The goal is to provide a systematic generalization of Paul Balmer's comparison maps between the spectrum of tensor-triangulated categories…

Category Theory · Mathematics 2016-05-11 Ivo Dell'Ambrogio , Greg Stevenson

For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated to a triangle functor from the category on the right to the category on the left. For a morphic…

Rings and Algebras · Mathematics 2022-09-21 Xiao-Wu Chen , Jue Le

We initiate a systematic study of lattices of thick subcategories for arbitrary essentially small triangulated categories. To this end we give several examples illustrating the various properties these lattices may, or may not, have and…

Category Theory · Mathematics 2023-04-25 Sira Gratz , Greg Stevenson

This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras…

Logic · Mathematics 2018-09-20 Serafina Lapenta , Ioana Leustean

We investigate a new notion of regularity for tensor triangulated categories, called residual regularity. We show that residual regularity descends and ascends via finite separable extensions and we classify all finite groups whose derived…

Category Theory · Mathematics 2026-05-27 Emmy Van Rooy

We propose a generalization of Categorial Grammar in which lexical categories are defined by means of recursive constraints. In particular, the introduction of relational constraints allows one to capture the effects of (recursive) lexical…

cmp-lg · Computer Science 2008-02-03 Gosse Bouma , Gertjan van Noord