-
61
Semidegenerate Congruence-modular Algebras Admitting a Reticulation
Published 2023-05-01“…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
Article -
62
Criterion for the cosemanticness of the Abelian groups in the enriched signature
Published 2018-03-01“…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
Article -
63
Meaning and duality: from categorical logic to quantum physics
Published 2016“…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. …”
Thesis -
64
Configurations in abelian categories. III. Stability conditions and identities
Published 2004“…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. …”
Journal article -
65
Structural foundations for probabilistic programming languages
Published 2021“…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.…”
Thesis -
66
Una coinstitución para la lógica de comportamiento abstracto
Published 2014-12-01“…Recently, the specification of a problem in computer sciences –an intermediate step between the given problem and its implementation as a software system that guarantees its solution– uses universal algebra and coalgebra theories for its description. …”
Get full text
Article -
67
Perceptions from mathematics leaders' faculty at a South Texas University in factors that contribute with drop, fail and withdraw rates in college algebra
Published 2021-12-01“…The math faculty experiences high drop-out, failing and withdrawal rates in the subject of university algebra. The findings show that higher education institutions can provide better service to students and can maximize their funding to increase graduation rates by eliminating withdrawal and failure rates. …”
Get full text
Article -
68
Imbrication algebras -- algebraic structures of nesting order
Published 2018-11-01“…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
Article -
69
Complete identity systems in a class of algebras
Published 2017-06-01“…The class of universal algebras, which are defined under binary square matrices of order n is considered. …”
Get full text
Article -
70
Injective hulls of many-sorted ordered algebras
Published 2019-12-01“…This paper is devoted to the study of injectivity for ordered universal algebras. We first characterize injectives in the category OALΣ⩽$\begin{array}{} \displaystyle {\mathsf{OAL}_{{\it\Sigma}}^{\leqslant}} \end{array}$ of ordered Σ-algebras with lax morphisms as sup-Σ-algebras. …”
Get full text
Article -
71
INVESTIGATION OF PROCEDURAL RELATIONSHIP BETWEEN ACADEMIC ACHIEVEMENT AND PSYCHOSOCIAL FACTORS IN ALGEBRA COURSES
Published 2021-12-01“…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
Article -
72
Classical Casimir force from a quasi-condensate of light
Published 2020-03-01“…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
Article -
73
Analysis and synthesis of a growing network model generating dense scale-free networks via category theory
Published 2020-12-01“…This work is a novel application of category theory for designing a network model focusing on a universal algebraic structure.…”
Get full text
Article -
74
Multidimensional Type 2 Epistemic Fuzzy Arithmetic Based on the Body Definition of the Type 2 Fuzzy Set
Published 2021-06-01“…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
Article -
75
Lifting Elements in Coherent Quantales
Published 2022-05-01“…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
Article -
76
The complete Kaluza-Klein spectra of N $$ \mathcal{N} $$ = 1 and N $$ \mathcal{N} $$ = 0 M-theory on AdS 4 × (squashed S 7)
Published 2024-02-01“…Here, a novel and more universal algebraic approach to the whole eigenvalue problem on coset manifolds is provided. …”
Get full text
Article -
77
Strongly Complete Logics for Coalgebras
Published 2012-09-01“…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
Article -
78
Generalized state maps and states on pseudo equality algebras
Published 2018-03-01“…In this paper, we attempt to cope with states in a universal algebraic setting, that is, introduce a notion of generalized state map from a pseudo equality algebra X to an arbitrary pseudo equality algebra Y. …”
Get full text
Article -
79
Quantum Current Algebra in Action: Linearization, Integrability of Classical and Factorization of Quantum Nonlinear Dynamical Systems
Published 2022-05-01“…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
Article -
80
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures
Published 2014-12-01“…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
Article