Affiliation:
1. Universität Potsdam, Institut für Mathematik, Am Neuen Palais, 14415 Potsdam, Germany
Abstract
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.
Publisher
World Scientific Pub Co Pte Lt
Subject
Applied Mathematics,Algebra and Number Theory
Reference5 articles.
1. Universal Algebra and Applications in Theoretical Computer Science
2. K. Drbohlav, Lectures on the Theory of Ordered Sets and General Algebra (Abstracts, Summer Session, Harmonia, 1970), Acta Fac. Rerum Natur. Univ. Comenian. Math. (Mimoriadne Čislo, 1971) pp. 17–20.
3. Annals of Mathematics Studies, no. 5;Post E. L.,1941
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献