English
Related papers

Related papers: Difference-restriction algebras with operators

200 papers

This paper reveals a categorical equivalence connecting two distinct quantum logic structures. The first is the orthomodular lattice, an algebraic system designed to formalize the properties of quantum systems. The second is a finitary…

Logic · Mathematics 2026-04-21 Juanda Kelana Putra , Richard Smolka

Conjunctive table algebras are introduced and axiomatically characterized. A conjunctive table algebra is a variant of SPJR algebra (a weaker form of relational algebra), which corresponds to conjunctive queries with equality. The table…

Logic · Mathematics 2024-04-03 Jens Kötters , Stefan E. Schmidt

Deletion-restriction is a fundamental tool in the theory of hyperplane arrangements. Various important results in this field have been proved using deletion-restriction. In this paper we use deletion-restriction to identify a class of toric…

Algebraic Topology · Mathematics 2015-05-11 Priyavrat Deshpande , Kavita Sutar

We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…

Numerical Analysis · Mathematics 2014-11-27 Jacky Cresson , Frédéric Pierret

We introduce a framework for universal algebra in categories of relational structures given by finitary relational signatures and finitary or infinitary Horn theories, with the arity $\lambda$ of a Horn theory understood as a strict upper…

Category Theory · Mathematics 2021-07-09 Chase Ford , Stefan Milius , Lutz Schröder

Algebraic operations are understood as topologiztion of algebra. They become an example of simplest convergence space. In our article the convergence is a arbitrary multivalued appointment. The continuity of some mapping between two…

General Topology · Mathematics 2010-04-20 Gintaras Valiukevicius

We give a complete derived equivalence classification of all symmetric algebras of domestic representation type over an algebraically closed field. This completes previous work by R. Bocian and the authors, where in this paper we solve the…

Representation Theory · Mathematics 2007-05-23 Thorsten Holm , Andrzej Skowronski

We give a classification of semisimple and separable algebras in a multi-fusion category over an arbitrary field in analogy to Wedderben-Artin theorem in classical algebras. It turns out that, if the multi-fusion category admits a…

Quantum Algebra · Mathematics 2019-11-22 Liang Kong , Hao Zheng

We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…

Category Theory · Mathematics 2023-12-01 Rina Anno , Sergey Arkhipov , Timothy Logvinenko

For each natural number $n$, we define a category whose objects are discriminant algebras in rank $n$, i.e. functorial means of attaching to each rank-$n$ algebra a quadratic algebra with the same discriminant. We show that the discriminant…

Commutative Algebra · Mathematics 2016-12-07 Owen Biesel , Alberto Gioia

Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional…

Rings and Algebras · Mathematics 2016-09-15 Donald W. Barnes

We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented tangles. Any reflexive object in a ribbon category gives rise…

Logic in Computer Science · Computer Science 2024-05-17 Masahito Hasegawa , Serge Lechenne

In this paper, first using the higher derived brackets, we give the controlling algebra of relative difference Lie algebras, which are also called crossed homomorphisms or differential Lie algebras of weight 1 when the action is the adjoint…

Rings and Algebras · Mathematics 2022-10-24 Jun Jiang , Yunhe Sheng

$\mathsf{S5}$-subordination algebras are a natural generalization of de Vries algebras. Recently it was proved that the category $\mathsf{SubS5^S}$ of $\mathsf{S5}$-subordination algebras and compatible subordination relations between them…

General Topology · Mathematics 2023-12-22 Marco Abbadini , Guram Bezhanishvili , Luca Carai

Constellations are partial algebras that are one-sided generalisations of categories. It has previously been shown that the category of inductive constellations is isomorphic to the category of left restriction semigroups. Here we consider…

Category Theory · Mathematics 2015-10-21 Victoria Gould , Tim Stokes

We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous…

Quantum Algebra · Mathematics 2007-05-23 Alain Bruguières , Alexis Virelizier

In [H5] (q-alg/9512024) and [H7] (q-alg/9704008), the author introduced the notion of intertwining operator algebra, a nonmeromorphic generalization of the notion of vertex operator algebra involving monodromies. The problem of constructing…

q-alg · Mathematics 2007-05-23 Yi-Zhi Huang

Let E be an operator algebra on a Hilbert space with finite-dimensional generated C*-algebra. A classification is given of the locally finite algebras and the operator algebras obtained as limits of direct sums of matrix algebras over E…

Operator Algebras · Mathematics 2007-05-23 S. C. Power

In our previous article [arXiv:1607.06041], we established an equivalence between pointed pivotal module tensor categories and anchored planar algebras. This article introduces the notion of unitarity for both module tensor categories and…

Quantum Algebra · Mathematics 2024-04-24 André Henriques , David Penneys , James Tener

We introduce a new class of quasi-hereditary algebras, containing in particular the Auslander-Dlab-Ringel (ADR) algebras. We show that this new class of algebras is preserved under Ringel duality, which determines in particular explicitly…

Representation Theory · Mathematics 2018-10-09 Kevin Coulembier