Is there a name for a set together with a unary operation?
If so, where can I learn more about them? Is there anything interesting about them? Are they simply a special case of groups? It simply occurred to me and Googling around has failed me.
Is there a name for a set together with a unary operation?
If so, where can I learn more about them? Is there anything interesting about them? Are they simply a special case of groups? It simply occurred to me and Googling around has failed me.
They are called monounary algebras for example in this paper:
https://www.researchgate.net/publication/225623822_Monounary_algebras
I have seen the term "unoid" - a set with several unary operations - in the book "Algebraic Systems" by A.I. Mal'cev. So "1-unoid" can be an answer.
The theory of 1-unoids is not entirely devoid. For example, it contains the Recursion Theorem: https://proofwiki.org/wiki/Principle_of_Recursive_Definition