No label defined (Q4466645)

The paper is concerned to coalgebras arising from formulas involving certain functions. It is observed that a formula defines a coalgebra structure precisely when it represents an equality showing that a certain function is a representative function on some semigroup. For example, the usual coalgebra structure of a polynomial algebra \(k[X]\), where \(k\) is a field, arises from the fact that the identity function of \(k\) is a primitive representative function on the additive group of \(k\). Other examples are given related to the exponential function, logarithmic function, trigonometric functions, divided power coalgebra, incidence coalgebras. For the entire collection see [Zbl 1030.00029].