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…