A complexity trichotomy for approximately counting list H-colourings by Goldberg, L, Galanis, A, Jerrum, M

“…Two pleasing features of the trichotomy are (i) it has a natural formulation in terms of hereditary graph classes, and (ii) the proof is largely self-contained and does not require any universal algebra (unlike similar dichotomies in the weighted case). …”

A complexity trichotomy for approximately counting list H-colourings by Galanis, A, Goldberg, L, Jerrum, M

“…Two pleasing features of the trichotomy are (i) it has a natural formulation in terms of hereditary graph classes, and (ii) the proof is largely self-contained and does not require any universal algebra (unlike similar dichotomies in the weighted case). …”

Reticulation of Quasi-commutative Algebras by G. Georgescu

“…The first systematic study of this spectrum can be found in a paper by Agliano, published in Universal Algebra (1993).The reticulation of an algebra $A\in \mathcal{V}$ is a bounded distributive algebra $L(A)$, whose prime spectrum (endowed with the Stone topology) is homeomorphic to $Spec(A)$ (endowed with the topology defined by Agliano). …”
Get full text

Constructing Higher Inductive Types as Groupoid Quotients by Niccolò Veltri, Niels van der Weide

“…We also start the development of universal algebra in 1-types. We show that the bicategory of algebras has PIE limits, i.e. products, inserters and equifiers, and we prove a version of the first isomorphism theorem for 1-types. …”
Get full text

Coalgebras for Bisimulation of Weighted Automata over Semirings by Purandar Bhaduri

“…The key step in our work is generalizing the notions of linear relation and linear bisimulation of Boreale from vector spaces to semimodules using the concept of the kernel of a $K$-linear map in the sense of universal algebra. We also provide an abstract procedure for forward partition refinement for computing weighted language equivalence. …”
Get full text

Corrigendum to: V. A. Sokolov, “On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions”, Modeling and analysis of information systems, vol. 2... by Valery Anatolyevich Sokolov

“…Sokolov, “Ob odnom klasse tozhdestv v algebre Robinsona”, in 14-ya Vsesoyuznaya algebraicheskaya konferentsiya: tezisy dokladov, In Russian, vol. 2, Novosibirsk, 1977, pp. 123-124.[6] P. M. Cohn, Universal Algebra. New York, Evanston, and London: Harper & Row, 1965.[7] A. …”
Get full text

Semidegenerate Congruence-modular Algebras Admitting a Reticulation by George Georgescu

“…This result is a universal algebra generalization of the following Belluce theorem: a ring R is quasi-commutative if and only if R admits a reticulation. …”
Get full text

Criterion for the cosemanticness of the Abelian groups in the enriched signature by A.R. Yeshkeyev, M.T. Kassymetova, O.I. Ulbrikht

“…The study of the model - theoretic properties of Jonsson theories in the class of abelian groups is a very urgent problem both in the Model Theory itself and in an universal algebra. The Jonsson theories form a rather wide subclass of the class of all inductive theories. …”
Get full text

Meaning and duality: from categorical logic to quantum physics by Maruyama, Y

“…The present thesis builds upon category theory and universal algebra to explicate and articulate the dynamics of duality, the mechanism of how duality emerges, changes, and breaks. …”

Configurations in abelian categories. III. Stability conditions and identities by Joyce, D

“…These encode facts about, for example, the Euler characteristic of the family of ways of decomposing a t-semistable object into t-stable factors, and constitute a kind of "universal algebra of t-(semi)stability". Using these we define interesting (Lie) algebras of constructible functions H^{pa}_t,H^{to}_t and L^{pa}_t,L^{to}_t on Obj_A. …”

Structural foundations for probabilistic programming languages by Stein, DM

“…Our methods and examples draw from diverse areas of computer science and mathematics such as rewriting theory, logical relations, linear and universal algebra, categorical logic, measure theory and descriptive set theory.…”

Imbrication algebras -- algebraic structures of nesting order by Ioachim M. Drugus, Volodymyr G. Skobelev

“…This paper is about ``imbrication algebras'', universal algebras with one binary operator in their signature, the operator for formation of ordered pairs, called here ``pairing operator'', and with the ``characteristic property of ordered pairs'' as their sole axiom. …”
Get full text

INVESTIGATION OF PROCEDURAL RELATIONSHIP BETWEEN ACADEMIC ACHIEVEMENT AND PSYCHOSOCIAL FACTORS IN ALGEBRA COURSES by Erdem DEMİRÖZ

“…In this manuscript, in addition to the psychosocial factors of mathematics learning, mathematics achievement in the context of university algebra was also examined. The data related to the psychosocial variables were obtained from a likert scale developed by the researcher, and academic achievement data from the final exam grades of the algebra course. …”
Get full text

Classical Casimir force from a quasi-condensate of light by Tamara Bardon-brun, Simon Pigeon, Nicolas Cherroret

“…We show that weakly incoherent optical beams propagating in a Kerr medium exhibit a universal algebraic coherence after a short propagation time, mimicking the quasi-long-range order of ultracold quantum Bose gases in two dimensions. …”
Get full text

Multidimensional Type 2 Epistemic Fuzzy Arithmetic Based on the Body Definition of the Type 2 Fuzzy Set by Andrzej Piegat, Marek Landowski

“…The proposed MT2EF-arithmetic is designed for epistemic variables and has mathematical properties that allow for obtaining universal algebraic calculation results. MT2EF-arithmetic performs calculations, not only with borders of fuzzy numbers, but also with whole bodies of FNs. …”
Get full text

Lifting Elements in Coherent Quantales by George Georgescu

“…The abstract results on lifting elements can be applied to study some Boolean lifting properties in concrete algebraic structures: commutative rings, bounded distributive lattices, residuated lattices, MV-algebras, BL-algebras, abelian l-groups, some classes of universal algebras, etc.…”
Get full text

The complete Kaluza-Klein spectra of N $$ \mathcal{N} $$ = 1 and N $$ \mathcal{N} $$ = 0 M-theory on AdS 4 × (squashed S 7) by Joel Karlsson, Bengt E. W. Nilsson

“…Here, a novel and more universal algebraic approach to the whole eigenvalue problem on coset manifolds is provided. …”
Get full text

Strongly Complete Logics for Coalgebras by Alexander Kurz, Jiri Rosicky

“…Part I argues that sifted colimit preserving functors are those functors that preserve universal algebraic structure. Our main theorem here states that a functor preserves sifted colimits if and only if it has a finitary presentation by operations and equations. …”
Get full text

Quantum Current Algebra in Action: Linearization, Integrability of Classical and Factorization of Quantum Nonlinear Dynamical Systems by Anatolij K. Prykarpatski

“…This review is devoted to the universal algebraic and geometric properties of the non-relativistic quantum current algebra symmetry and to their representations subject to applications in describing geometrical and analytical properties of quantum and classical integrable Hamiltonian systems of theoretical and mathematical physics. …”
Get full text

Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures by Yoshihiro Maruyama

“…Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and diverse substructural logics. …”
Get full text