-
Abstract clones as noncommutative monoids I
Authors:
Antonio Bucciarelli,
Pierre-Louis Curien,
Antonino Salibra
Abstract:
Clones of functions play a foundational role in both universal algebra and theoretical computer science. In this work, we introduce clone merge monoids (cm-monoids), a unifying one-sorted algebraic framework that integrates abstract clones, clone algebras (previously introduced by the first and the third author), and Neumann's aleph0-abstract clones, while modelling the interplay of infinitary ope…
▽ More
Clones of functions play a foundational role in both universal algebra and theoretical computer science. In this work, we introduce clone merge monoids (cm-monoids), a unifying one-sorted algebraic framework that integrates abstract clones, clone algebras (previously introduced by the first and the third author), and Neumann's aleph0-abstract clones, while modelling the interplay of infinitary operations. Cm-monoids combine a monoid structure with a new algebraic structure called merge algebra, capturing essential properties of infinite sequences of operations.We establish a categorical equivalence between clone algebras and finitely-ranked cm-monoids.This equivalence yields by restriction a three-fold equivalence between abstract clones, finite-dimensional clone algebras, and finite-dimensional, finitely ranked cm-monoids, and is itself obtained by restriction from a categorical equivalence between partial infinitary clone algebras (which generalise clone algebras) and extensional cm-monoids.In a companion work, we develop the theory of modules over cm-monoids, offering a unified approach to polymorphisms and invariant relations,in the hope of providing new insights into algebraic structures and CSP complexity theory.
△ Less
Submitted 13 January, 2025;
originally announced January 2025.
-
Birkhoff-style Theorems Through Infinitary Clone Algebras
Authors:
Antonio Bucciarelli,
Pierre-Louis Curien,
Arturo De Faveri,
Antonino Salibra
Abstract:
Building upon the classical article "Representing varieties of algebras by algebras'' by W. D. Neumann, we revisit the famous Birkhoff's HSP theorem in the light of infinitary algebra.
Building upon the classical article "Representing varieties of algebras by algebras'' by W. D. Neumann, we revisit the famous Birkhoff's HSP theorem in the light of infinitary algebra.
△ Less
Submitted 30 December, 2024; v1 submitted 25 November, 2024;
originally announced November 2024.
-
Universal Clone Algebra
Authors:
Antonino Salibra
Abstract:
We develop a new general framework for algebras and clones, called Universal Clone Algebra. Algebras and clones of finitary operations are to Universal Algebra what t-algebras and clone algebras are to Universal Clone Algebra. Clone algebras have been recently introduced to found a one-sorted, purely algebraic theory of clones, while t-algebras are first introduced in this article. We present a me…
▽ More
We develop a new general framework for algebras and clones, called Universal Clone Algebra. Algebras and clones of finitary operations are to Universal Algebra what t-algebras and clone algebras are to Universal Clone Algebra. Clone algebras have been recently introduced to found a one-sorted, purely algebraic theory of clones, while t-algebras are first introduced in this article. We present a method to codify algebras and clones into t-algebras and clone algebras, respectively. We provide concrete examples showing that general results in Universal Clone Algebra, when translated in terms of algebras and clones, give more powerful versions of known theorems in Universal Algebra. We apply this methodology to Birkhoff's HSP theorem and to the recent topological versions of Birkhoff's theorem.
△ Less
Submitted 2 June, 2022; v1 submitted 26 March, 2022;
originally announced March 2022.
-
An algebraic theory of clones with an application to a question of Birkhoff and Maltsev
Authors:
Antonio Bucciarelli,
Antonino Salibra
Abstract:
We introduce the notion of clone algebra, intended to found a one-sorted, purely algebraic theory of clones. Clone algebras are defined by true identities and thus form a variety in the sense of universal algebra. The most natural clone algebras, the ones the axioms are intended to characterise, are algebras of functions, called functional clone algebras. The universe of a functional clone algebra…
▽ More
We introduce the notion of clone algebra, intended to found a one-sorted, purely algebraic theory of clones. Clone algebras are defined by true identities and thus form a variety in the sense of universal algebra. The most natural clone algebras, the ones the axioms are intended to characterise, are algebras of functions, called functional clone algebras. The universe of a functional clone algebra, called omega-clone, is a set of infinitary operations containing the projections and closed under finitary compositions. We show that there exists a bijective correspondence between clones (of finitary operations) and a suitable subclass of functional clone algebras, called block algebras. Given a clone, the corresponding block algebra is obtained by extending the operations of the clone by countably many dummy arguments.
One of the main results of this paper is the general representation theorem, where it is shown that every clone algebra is isomorphic to a functional clone algebra. In another result of the paper we prove that the variety of clone algebras is generated by the class of block algebras. This implies that every omega-clone is algebraically generated by a suitable family of clones by using direct products, subalgebras and homomorphic images.
We conclude the paper with two applications. In the first one, we use clone algebras to answer a classical question about the lattices of equational theories. The second application is to the study of the category VAR of all varieties. We introduce the category CA of all clone algebras (of arbitrary similarity type) with pure homomorphisms as arrows. We show that the category VAR is categorically isomorphic to a full subcategory of CA. We use this result to provide a generalisation of a classical theorem on independent varieties.
△ Less
Submitted 18 January, 2021; v1 submitted 27 October, 2020;
originally announced October 2020.
-
On noncommutative generalisations of Boolean algebras
Authors:
Antonio Bucciarelli,
Antonino Salibra
Abstract:
Skew Boolean algebras (skew BA) and Boolean-like algebras (nBA) are one-pointed and n-pointed noncommutative generalisation of Boolean algebras, respectively. We show that any nBA is a cluster of n isomorphic right-handed skew BAs, axiomatised here as the variety of skew star algebras. The variety of skew star algebras is shown to be term equivalent to the variety of nBAs. We use skew BAs in order…
▽ More
Skew Boolean algebras (skew BA) and Boolean-like algebras (nBA) are one-pointed and n-pointed noncommutative generalisation of Boolean algebras, respectively. We show that any nBA is a cluster of n isomorphic right-handed skew BAs, axiomatised here as the variety of skew star algebras. The variety of skew star algebras is shown to be term equivalent to the variety of nBAs. We use skew BAs in order to develop a general theory of multideals for nBAs. We also provide a representation theorem for right-handed skew BAs in terms of nBAs of n-partitions.
△ Less
Submitted 29 May, 2019;
originally announced May 2019.
-
Ordered Models of the Lambda Calculus
Authors:
Antonino Salibra,
Alberto Carraro
Abstract:
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model with bottom element. We also relate the subtractive equations to the open problem of the order-incompleteness of lambda calculus, by studying the connection betwe…
▽ More
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model with bottom element. We also relate the subtractive equations to the open problem of the order-incompleteness of lambda calculus, by studying the connection between the notion of absolute unorderability in a specific point and a weaker notion of subtractivity (namely n-subtractivity) for partially ordered algebras. Finally we study the relation between n-subtractivity and relativized separation conditions in topological algebras, obtaining an incompleteness theorem for a general topological semantics of lambda calculus.
△ Less
Submitted 10 December, 2013; v1 submitted 8 November, 2013;
originally announced November 2013.
-
Effective lambda-models vs recursively enumerable lambda-theories
Authors:
Chantal Berline,
Giulio Manzonetto,
Antonio Salibra
Abstract:
A longstanding open problem is whether there exists a non syntactical model of the untyped lambda-calculus whose theory is exactly the least lambda-theory (l-beta). In this paper we investigate the more general question of whether the equational/order theory of a model of the (untyped) lambda-calculus can be recursively enumerable (r.e. for brevity). We introduce a notion of effective model of l…
▽ More
A longstanding open problem is whether there exists a non syntactical model of the untyped lambda-calculus whose theory is exactly the least lambda-theory (l-beta). In this paper we investigate the more general question of whether the equational/order theory of a model of the (untyped) lambda-calculus can be recursively enumerable (r.e. for brevity). We introduce a notion of effective model of lambda-calculus calculus, which covers in particular all the models individually introduced in the literature. We prove that the order theory of an effective model is never r.e.; from this it follows that its equational theory cannot be l-beta or l-beta-eta. We then show that no effective model living in the stable or strongly stable semantics has an r.e. equational theory. Concerning Scott's semantics, we investigate the class of graph models and prove that no order theory of a graph model can be r.e., and that there exists an effective graph model whose equational/order theory is minimum among all theories of graph models. Finally, we show that the class of graph models enjoys a kind of downwards Lowenheim-Skolem theorem.
△ Less
Submitted 13 June, 2008;
originally announced June 2008.
-
Lambda theories of effective lambda models
Authors:
Chantal Berline,
Giulio Manzonetto,
Antonio Salibra
Abstract:
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the more general question of whether the equational (resp. order) theory of a non syntactical model M, say Eq(M) (resp. Ord(M)) can be recursively enumerable (= r…
▽ More
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the more general question of whether the equational (resp. order) theory of a non syntactical model M, say Eq(M) (resp. Ord(M)) can be recursively enumerable (= r.e. below). We conjecture that no such model exists and prove the conjecture for several large classes of models. In particular we introduce a notion of effective lambda-model and show that for all effective models M, Eq(M) is different from Lb, and Ord(M) is not r.e. If moreover M belongs to the stable or strongly stable semantics, then Eq(M) is not r.e. Concerning Scott's continuous semantics we explore the class of (all) graph models, show that it satisfies Lowenheim Skolem theorem, that there exists a minimum order/equational graph theory, and that both are the order/equ theories of an effective graph model. We deduce that no graph model can have an r.e. order theory, and also show that for some large subclasses, the same is true for Eq(M).
△ Less
Submitted 31 May, 2007; v1 submitted 24 January, 2007;
originally announced January 2007.
