Before modern group theory, mathematicians studied concrete permutation groups: algebraically closed subsets of the set of all bijections on a set $X$ in which all inverses was included. This was the kind of groups studied by Galois and others. Then the axioms were abstracted from the concrete example and it was proved that any abstract group was isomorphic to a concrete group.
I'm trying to repeat this process with different concrete structures on sets, as $\mathcal P(X)$ and $\text{End}(X)$, just for fun. Both of these examples seems more complicated, however. $\text{Aut}(X)$ rather obvious boils down to an associative composition $\circ$, an identity $e$ and an inverse $f^{-1}$ for all functions $f\in\text{Aut}(X)$.
But how to deal with $\text{End}(X)$? Again there is an associative composition $\circ$ and an identity $e$, which point towards monoids. But here it seems to exist hidden structures: unlike for bijections (and surjections), there is a non-trivial function $\text{Im}:\text{End}(X)\to \mathcal P(X)$, that makes algebraically closed subsets (including $e$) of $\text{End}(X)$ to somewhat special monoids. And the question is, how to formulate the axioms for this concrete structure?
One idea would be to study a monoid action on sets
$$\text{End}(X)\times\mathcal P(X)\to\mathcal P(X),\;(f,A)\mapsto f(A)$$
but that ends up in finding axioms for the $\mathcal P(X)$-structure with it's own more or less hidden structures.
Is there a way to abstract axioms for $\text{End}(X)$ without dealing with $\mathcal P(X)$?
I'm interested in canonically pre-structured sets.
The simplest one is $X\times X$ with the structures $\displaystyle X\times X\overset {p_1,p_2}{\longrightarrow} X,\;p_i(x_1,x_2)=x_i$. Obviously there are no more structures. For the sets of all bijections $Bij(X)$ or surjections $Sur(X)$ on a set $X$ it is rather obvious that there is one canonical structure: $Bij(X)\times Bij(X)\to Bij(X)$ etc.
Now suppose the example $N(X)$ has a binary $N(X)\times N(X)\to N(X)$ structure and a topological structure, canonically. If you're only interested in one of those structures you might describe the axioms for that structure and try to show that all the abstract objects are isomorphic with a concrete subset of $N(X)$. But it might also be of interest to find the axioms for both structures and their interaction.
An abstract monoid doesn't have an extra structure corresponding to $\text{Im}:\text{End}(X)\to \mathcal P(X)$, but the functions in End$(X)$ do have it.