Bifold algebras and commutants for enriched algebraic theories

TL;DR

This paper explores the interaction between bifold algebras and commutants within enriched algebraic theories, establishing universal constructions, adjunctions, and equivalences, and providing examples including Pontryagin duality and reflexive groups.

Contribution

It introduces the concept of commutant bifold algebras, studies their properties and relations to other algebraic structures, and develops a functorial framework applicable to various enriched theories.

Findings

Commutant arises via a universal construction in a two-sided fibration.

Established adjunctions and equivalences among categories of bifold algebras.

Provided examples involving Pontryagin duality and reflexive abelian groups.

Abstract

Commuting pairs of algebraic structures on a set have been studied by several authors and may be described equivalently as algebras for the tensor product of Lawvere theories, or more basically as certain bifunctors that here we call bifold algebras. The much less studied notion of commutant for Lawvere theories was first introduced by Wraith and generalizes the notion of centralizer clone in universal algebra. Working in the general setting of enriched algebraic theories for a system of arities, we study the interaction of the concepts of bifold algebra and commutant. We show that the notion of commutant arises via a universal construction in a two-sided fibration of bifold algebras over various theories. On this basis, we study special classes of bifold algebras that are related to commutants, introducing the notions of commutant bifold algebra and balanced bifold algebra. We establish several adjunctions and equivalences among these categories of bifold algebras and related categories of algebras over various theories, including commutative, contracommutative, saturated, and balanced algebras. We also survey and develop examples of commutant bifold algebras, including examples that employ Pontryagin duality and a theorem of Ehrenfeucht and {\L}o\'s on reflexive abelian groups. Along the way, we develop a functorial treatment of fundamental aspects of bifold algebras and commutants, including tensor products of theories and the equivalence of bifold algebras and commuting pairs of algebras. Because we work relative to a (possibly large) system of arities in a closed category $\mathcal{V}$, our main results are applicable to arbitrary $\mathcal{V}$-monads on a finitely complete $\mathcal{V}$, the enriched theories of Borceux and Day, the enriched Lawvere theories of Power relative to a regular cardinal, and other notions of algebraic theory.