Related papers: Lattice-ordered abelian groups and perfect MV-alge…
We investigate the geometric theory of local MV-algebras and its quotients axiomatizing the local MV-algebras in a given proper variety of MV-algebras. We show that, whilst the theory of local MV-algebras is not of presheaf type, each of…
We show that the theory of MV-algebras is Morita-equivalent to that of abelian $\ell$-groups with strong unit. This generalizes the well-known equivalence between the categories of set-based models of the two theories established by D.…
We provide a generalization of Mundici's equivalence between unital Abelian lattice-ordered groups and MV-algebras: the category of unital commutative lattice-ordered groups is equivalent to the category of MV-monoidal algebras. Roughly…
We introduce a two-sorted algebraic theory whose models are states of MV-algebras and, to within a categorical equivalence that extends Mundici's well-known one, states of Abelian lattice-groups with (strong order) unit. We discuss free…
General theory determines the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-algebra is separable if, and only if, it is a finite product…
Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…
This paper provides a complete classification of the subvarieties and subquasivarieties of pointed Abelian lattice-ordered groups ($\ell$-groups) that are generated by their totally ordered members. We present two complementary approaches…
We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0,1]. Furthermore, we give a representation of local Abelian lattice-ordered groups with strong unit as…
Morita theory for quantales is developed. The main result of the paper is a characterization of those quantaloids (categories enriched in the symmetric monoidal closed category of sup-lattices) that are equivalent to modular categories over…
We show that several Morita equivalence classes of tame algebras do not occur as blocks of finite groups. This refines classifications by Erdmann of classes of blocks with dihedral, semidihedral, and generalised quaternion defect groups. In…
We show that a large class of divisible abelian $\ell$-groups (lattice ordered groups) of continuous functions is interpretable (in a certain sense) in the lattice of the zero sets of these functions. This has various applications to the…
Abelian groups having partial orderings compatible with their binary operations have long been studied in the literature. In particular, lattice-ordered abelian groups constitute a universal-algebraic variety, and thus form a category which…
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by…
It was shown by Ostrik (2003) and Natale (2017) that a collection of twisted group algebras in a pointed fusion category serve as explicit Morita equivalence class representatives of indecomposable, separable algebras in such categories. We…
In this paper, we introduce the notion of Autometrized lattice ordered monoids (for short,AL-monoids) as a generalization to DRl-semi groups. We obtain the basic properties of AL-monoids. Also, we prove that Autometrized lattice ordered…
The connection between classical model theoretical types (MT-types) and logically-geometrical types (LG-types) introduced by B. Plotkin is considered. It is proved that MT-types of two $n$-tuples in two universal algebras coincide if and…
The algebraic K-theory of Lawvere theories is a conceptual device to elucidate the stable homology of the symmetry groups of algebraic structures such as the permutation groups and the automorphism groups of free groups. In this paper, we…
We classify all $2$-blocks with abelian defect groups of rank $4$ up to Morita equivalence. The classification holds for blocks over a suitable discrete valuation ring as well as for those over an algebraically closed field. An application…
We define a notion of equivalence between algebraic dependent type theories which we call Morita equivalence. This notion has a simple syntactic description and an equivalent description in terms of models of the theories. The category of…
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…