A Banach algebra (assumed associative and unital) is precisely a monoid object in the monoidal category of Banach spaces, short linear maps, and the projective tensor product. A Banach coalgebra is ...
Back here I was asking for a coalgebraic characterisation of the hyperfinite $II_1$ factor. Recall the latter's construction by forming the inductive limit of a chain of matrix algebras $R \to M_2(R) ...
Peter Freyd showed that the real interval [0, 1] is a final coalgebra for a functor on sets equipped with two points, which sends such a set to the 'wedge' of two copies of itself, identifying the ...