English
Related papers

Related papers: Monadic distributive lattices and monadic augmente…

200 papers

The ordering relation of a bounded distributive lattice L is a (distributive) (0, 1)-sublattice of L \times L. This construction gives rise to a functor \Phi from the category of bounded distributive lattices to itself. We examine the…

Logic · Mathematics 2007-05-29 Michel Krebs , Dominic van der Zypen

We obtain algorithmically effective versions of the dense lattice sphere packings constructed from orders in $\mathbb{Q}$-division rings by the first author. The lattices in question are lifts of suitable codes from prime characteristic to…

Number Theory · Mathematics 2022-04-12 Nihar Gargava , Vlad Serban

We propose a doxastic \L ukasiewicz logic \textbf{B\L} that is sound and complete with respect to the class of Kripke-based models in which atomic propositions and accessibility relations are both infinitely valued in the standard…

Logic in Computer Science · Computer Science 2023-12-12 Doratossadat Dastgheib , Hadi Farahani

In this paper, we consider the full Lambek calculus enriched with subexponential modalities in a distributive setting. We show that the distributive Lambek calculus with subexponentials is complete with respect to its Kripke frames via…

Logic in Computer Science · Computer Science 2023-08-10 Daniel Rogozin

The theory of complex dimensions of fractal strings developed by Lapidus and van Frankenhuijsen has proven to be a powerful tool for the study of Minkowski measurability of fractal subsets of the real line. In a very general setting, the…

Mathematical Physics · Physics 2016-10-31 Kristin Dettmers , Robert Giza , Christina Knox , Rafael Morales , John A. Rock

This article is devoted to the study of self-distributive algebraic structures: algebras, bialgebras; additional structures on them, relations of these structures with Hopf algebras, Lie algebras, Leibnitz algebras etc. The basic example of…

Rings and Algebras · Mathematics 2025-05-15 Valeriy G. Bardakov , Tatiana A. Kozlovskaya , Dmitry V. Talalaev

Yu. I. Merzljakov developed a method of splittable coordinates which helps to verify the linearity of some groups, he established some fundamental results using this method. In this paper we use the method of splittable coordinates and find…

Group Theory · Mathematics 2007-05-23 V. G. Bardakov , O. V. Bryukhanov

We show that for any two von Neumann algebras $M$ and $N$, the space of non-unital normal homomorphisms $N\to M$ with finite support, modulo conjugation by unitaries in $M$, is Dedekind complete with respect to the partial order coming from…

Operator Algebras · Mathematics 2013-08-01 Alexandru Chirvasitu

For an exact symplectic manifold $M$ and a Legendrian submanifold $\Lambda$ of the contactification $M\times \mathbb{R}$, we construct the augmentation category (over a field of characteristic 2), a unital $A_\infty$-category whose objects…

Symplectic Geometry · Mathematics 2026-02-12 Hanming Liu

Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This…

Combinatorics · Mathematics 2016-11-22 Leonard Kwuida , Erkko Lehtonen

This is a sequel to the author's book "Derived Langlands" which introduced an embedding of the category of admissible representations of a locally p-adic group in to the derived category of the monomial category of the group. This article…

Representation Theory · Mathematics 2020-03-25 Victor Snaith

Finite distributive lattices whose join-meet ideals are of K\"onig type will be classified. Furthermore, a class of polyominoes whose polyomino ideals are of K\"onig type will be studied.

Commutative Algebra · Mathematics 2022-02-22 Jürgen Herzog , Takayuki Hibi

We introduce the dual Koenigs lattices, which are the integrable discrete analogues of conjugate nets with equal tangential invariants, and we find the corresponding reduction of the fundamental transformation. We also introduce the notion…

Exactly Solvable and Integrable Systems · Physics 2009-11-10 A. Doliwa , M. Nieszporski , P. M. Santini

We study higher cluster tilting objects in generalized higher cluster categories arising from dg algebras of higher Calabi-Yau dimension. Taking advantage of silting mutations of Aihara-Iyama, we obtain a class of $m$-cluster tilting…

Representation Theory · Mathematics 2012-01-10 Lingyan Guo

Linearly distributive categories (LDC) were introduced by Cockett and Seely to provide alternative categorical semantics for multiplicative linear logic. In contrast to Barr's $*$-autonomous categories, LDCs take multiplicative conjunction…

Category Theory · Mathematics 2026-02-25 Rose Kudzman-Blais , Jean-Simon Pacaud Lemay

This paper studies Frobenius subalgebra posets in abelian monoidal categories and shows that, under general conditions--satisfied in all semisimple tensor categories over the complex field--they collapse to lattices through a rigidity…

Quantum Algebra · Mathematics 2025-10-27 Mainak Ghosh , Sebastien Palcoux

The current article is a short survey on the theory of Hecke algebras, and in particular Kazhdan-Lusztig theory, and on the theory of symplectic reflection algebras, and in particular rational Cherednik algebras. The emphasis is on the…

Representation Theory · Mathematics 2014-01-21 Maria Chlouveraki

In this paper the concept of $\mathbb{F}$-functorial of a finite group was introduced. These functorials have many properties of the Fitting subgroup of a soluble group and the generalized Fitting subgroup of a finite group. It was shown…

Group Theory · Mathematics 2021-03-25 Viachaslau I. Murashka , Alexander F. Vasil'ev

This paper studies the differential lattice, defined to be a lattice $L$ equipped with a map $d:L\to L$ that satisfies a lattice analog of the Leibniz rule for a derivation. Isomorphic differential lattices are studied and classifications…

Rings and Algebras · Mathematics 2021-06-17 Aiping Gan , Li Guo

We introduce a new category C, which we call the cluster category, obtained as a quotient of the bounded derived category D of the module category of a finite-dimensional hereditary algebra H over a field. We show that, in the simply-laced…

Representation Theory · Mathematics 2020-12-21 Aslak Bakke Buan , Bethany Marsh , Markus Reineke , Idun Reiten , Gordana Todorov