3 papers
cs.LO2026
Groups and Inverse Semigroups in Lambda Calculus
Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto +1
We study invertibility of -terms modulo -theories. Here a fundamental role is played by a class of -terms called finite hereditary permutations (FHP) and by their infinite…
math.LO2025
Rings and Boolean Algebras as Algebraic Theories
Arturo De Faveri
We present a unified framework for representing commutative rings through affine algebraic theories and Boolean rings through hyperaffine algebraic theories. This yields categorica…
math.AC2024
Birkhoff-style Theorems Through Infinitary Clone Algebras
Antonio Bucciarelli, Pierre-Louis Curien, Arturo De Faveri +1
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 alge…