Results 21 to 30 of about 95 (92)
The Maschke‐Type Theorem and Morita Context for BiHom‐Smash Products
Advances in Mathematical Physics, Volume 2021, Issue 1, 2021., 2021 Let (H, αH, βH, ωH, ψH, SH) be a BiHom‐Hopf algebra and (A, αA, βA) be an (H, αH, βH)‐module BiHom‐algebra. Then, in this paper, we study some properties on the BiHom‐smash product A#H. We construct the Maschke‐type theorem for the BiHom‐smash product A#H and form an associated Morita context AH,AHAA#H,A#HAAH,A#H.
Bingliang Shen +2 more
wiley +1 more source
A new branch of bialgebraic structures: UP-bialgebras
Journal of Taibah University for Science, 2019 The notion of bialgebraic structures was discussed by Vasantha Kandasamy [Bialgebraic structures and Smarandache bialgebraic structures. India: American Research Press; 2003]. The main target of this paper is to introduce the notions of a KU-bialgebra, a
Phakawat Mosrijai, Aiyared Iampan
doaj +1 more source
Quasitriangular Structure of Myhill–Nerode Bialgebras
Axioms, 2012 In computer science the Myhill–Nerode Theorem states that a set L of words in a finite alphabet is accepted by a finite automaton if and only if the equivalence relation ∼L, defined as x ∼L y if and only if xz ∈ L exactly when yz ∈ L, ∀z, has finite ...
Robert G. Underwood
doaj +1 more source
Towards a Minimal Stabilizer ZX-calculus [PDF]
Logical Methods in Computer Science, 2020 The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: one can transform a stabilizer ZX-diagram into another one using the graphical rewrite rules if and only if these two ...
Miriam Backens +2 more
doaj +1 more source
3-Hom–Lie Yang–Baxter Equation and 3-Hom–Lie Bialgebras
Mathematics, 2022 In this paper, we first introduce the notion of a 3-Hom–Lie bialgebra and give an equivalent description of the 3-Hom–Lie bialgebras, the matched pairs and the Manin triples of 3-Hom–Lie algebras.
Shuangjian Guo +2 more
doaj +1 more source
A proof-theoretic approach to scope ambiguity in compositional vector space models
Journal of Language Modelling, 2019 We investigate the extent to which compositional vector space models can be used to account for scope ambiguity in quantified sentences (of the form Every man loves some woman).
Gijs Wijnholds
doaj +1 more source
Curved and Layered Structures, 2019 The Cell Method (CM) is an algebraic numerical method based on the use of global variables: the configuration, source and energetic global variables. The configuration variables with their topological equations, on the one hand, and the source variables ...
Ferretti Elena
doaj +1 more source
The Braiding Structure and Duality of the Category of Left–Left BiHom–Yetter–Drinfeld Modules
Mathematics, 2022 Let (H,μH,ΔH,αH,βH,ψH,ωH,SH) be a BiHom–Hopf algebra. First, we provide a non-trivial example of a left–left BiHom–Yetter–Drinfeld module and show that the category HHBHYD is a braided monoidal category.
Ling Liu, Bingliang Shen
doaj +1 more source
Additive Enrichment from Coderelictions [PDF]
Logical Methods in Computer ScienceDifferential linear categories provide the categorical semantics of the multiplicative and exponential fragments of Differential Linear Logic. Briefly, a differential linear category is a symmetric monoidal category that is enriched over commutative ...
Jean-Simon Pacaud Lemay
doaj +1 more source
3-dimensional Λ-BMS symmetry and its deformations
Journal of High Energy Physics, 2021 In this paper we study quantum group deformations of the infinite dimensional symmetry algebra of asymptotically AdS spacetimes in three dimensions. Building on previous results in the finite dimensional subalgebras we classify all possible Lie bialgebra
Andrzej Borowiec +2 more
doaj +1 more source