Menger Algebras and Clones of Cooperations
Klaus Denecke, Kittisak Saengsura · Algebra Colloquium · 2008
The superposition of cooperations satisfies the well-known clone axioms (C1), (C2) and (C3). We define terms for indexed coalgebras of type τ, cooperations induced by those terms, and prove that the set of all induced cooperations forms a clone. This clone is equal to the clone of all cooperations generated by the fundamental cooperations of an indexed coalgebra. Finally, we introduce the concept of rational equivalence for coalgebras and determine all two-element coalgebras up to rational equivalence.