Separation of clones of cooperations by cohyperidentities |
| |
Authors: | K Denecke K Saengsura |
| |
Institution: | Universität Potsdam, Institute of Mathematics, Am Neuen Palais, 14415 Potsdam, Germany |
| |
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. |
| |
Keywords: | Cooperations Coalgebras Clones Boolean cooperations Coidentities Cohyperidentities |
本文献已被 ScienceDirect 等数据库收录! |