categories: banach operations

[Michael Barr <barr@barrs.org>]

Peter's last posting reminded me of something that may or may not be
relevant.  Sometime in the previous millennium (actually, around 3
decades ago) John Isbell made an observation that amounted to the
statment that the equational theory of the unit ball functor of banach
spaces (which has many more algebras than banach spaces) could be
described by negation and an aleph_0-ary operation that takes {x_i} to
\sum_{i=1}^\infty 2^{-i}x_i (and appropriate equations).  Now a midpoint
algebra with involution, as described by Peter, has all such finitary
sums and if you also assume it complete, I think it is likely exactly a
model of the banach space theory.

Michael