Results 1 to 10 of about 165,958,425 (294)
Rule Algebras for Adhesive Categories [PDF]
Logical Methods in Computer Science, 2020 We demonstrate that the most well-known approach to rewriting graphical structures, the Double-Pushout (DPO) approach, possesses a notion of sequential compositions of rules along an overlap that is associative in a natural sense.
Nicolas Behr, Pawel Sobocinski
doaj +11 more sources
Causality in Schwinger’s Picture of Quantum Mechanics [PDF]
Entropy, 2022 This paper begins the study of the relation between causality and quantum mechanics, taking advantage of the groupoidal description of quantum mechanical systems inspired by Schwinger’s picture of quantum mechanics. After identifying causal structures on
Florio M. Ciaglia +5 more
doaj +2 more sources
Derived Categories of Schur Algebras [PDF]
Communications in Algebra, 2003 We classify the derived tame Schur and infinitesimal Schur algebras and describe indecomposable objects in their derived categories.
Viktor Bekkert, Vyacheslav Futorny
exaly +3 more sources
LNL polycategories and doctrines of linear logic [PDF]
Logical Methods in Computer Science, 2023 We define and study LNL polycategories, which abstract the judgmental structure of classical linear logic with exponentials. Many existing structures can be represented as LNL polycategories, including LNL adjunctions, linear exponential comonads, LNL ...
Michael Shulman
doaj +1 more source
Natural and restricted Priestley duality for ternary algebras and their cousins [PDF]
Categories and General Algebraic Structures with Applications, 2022 Up to term equivalence, there are three ways to assign a nonemptyset C of constants to the three-element Kleene lattice, leading toternary algebras (C = {0, d, 1}), Kleene algebras (C = {0, 1}), and don’tknow algebras (C = {d}).
Brian Davey, Stacey Mendan
doaj +1 more source
Mathematics, 2021 We consider the equivalences of derived categories of graded rings over different groups. A Morita type equivalence is established between two graded algebras with different group gradings.
Bo-Ye Zhang, Ji-Wei He
doaj +1 more source
Composites and Categories of Euclidean Jordan Algebras [PDF]
Quantum, 2020 We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras (EJAs), satisfying some reasonable additional constraints motivated by the desire to construct dagger-compact categories of such models. We show that
Howard Barnum +2 more
doaj +1 more source
Category Algebras and States on Categories [PDF]
Symmetry, 2021 The purpose of this paper is to build a new bridge between category theory and a generalized probability theory known as noncommutative probability or quantum probability, which was originated as a mathematical framework for quantum theory, in terms of states as linear functional defined on category algebras.
openaire +2 more sources
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality [PDF]
Logical Methods in Computer Science, 2015 C*-algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not).
Robert W. J. Furber, Bart P. F. Jacobs
doaj +1 more source
On the Category of EQ-algebras
Bulletin of the Section of Logic, 2021 In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct and pushout in a special case. Also, we constructed a free EQ-algebra on a singleton.
Narges Akhlaghinia +3 more
openaire +4 more sources