@article{DeneckeSaengsura2009, author = {Denecke, Klaus-Dieter and Saengsura, Kittisak}, title = {Separation of clones of cooperations by cohyperidentities}, issn = {0012-365X}, doi = {10.1016/j.disc.2008.01.043}, year = {2009}, abstract = {An n-ary cooperation is a mapping from a nonempty set A to the nth copower of A. A clone of cooperations is a set of cooperations which is closed under superposition and contains all injections. Coalgebras are pairs consisting of a set and a set of cooperations defined on this set. We define terms for coalgebras, coidentities and cohyperidentities. These concepts will be applied to give a new solution of the completeness problem for clones of cooperations defined on a two-element set and to separate clones of cooperations by coidentities.}, language = {en} }