Separation of clones of cooperations by cohyperidentities
- 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.
| Author details: | Klaus-Dieter DeneckeORCiDGND, Kittisak Saengsura |
|---|---|
| URL: | http://www.sciencedirect.com/science/journal/0012365X |
| DOI: | https://doi.org/10.1016/j.disc.2008.01.043 |
| ISSN: | 0012-365X |
| Publication type: | Article |
| Language: | English |
| Year of first publication: | 2009 |
| Publication year: | 2009 |
| Release date: | 2017/03/25 |
| Source: | Discrete mathematics. - ISSN 0012-365X. - 309 (2009), 4, S. 772 - 783 |
| Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Mathematik |
| Peer review: | Referiert |
