I realize that this is not exactly the answer you asked for, but...
The character of the morphisms doesn't depend on all the properties of a structure. For example, properties like associativity doesn't influence at all. What do influence is the outer structure, in the case of monoids the function $M\times M\to M$ To that outer structure morphisms always are characterized by $f(xy)=f(x)f(y)$ How come? Well, I don't know if there is a definite answer, but there are certain patterns:
Given a set $X$. Let $S\subseteq X$ and consider $(X,S)$ as a very simple mathematical structure, here to be called a spotted set. Given two spotted sets, then a morphism $\alpha :(X,S)\longrightarrow(X^\prime,S^\prime)$ is a function $\alpha :X\longrightarrow X^\prime$ such that $x\in S\Rightarrow \alpha(x)\in S^\prime$. Call the category sSet.
Group-like structures as magmas and categories are characterized by relations $R\subseteq (X\times X)\times X$ and can obviously be expressed as spotted sets. Morphisms are functions $\alpha:(X\times X)\times X\longrightarrow(X^\prime\times X^\prime)\times X^\prime$ such that $((x,y),z)\in R \Rightarrow \alpha((x,y),z)\in R^\prime$. Functions $\alpha_1,\alpha_2,\alpha_3:X\longrightarrow X^\prime$ exists such that $\alpha((x,y),z)=((\alpha_1(x),\alpha_2(y)),\alpha_3(z))$ and if $\alpha$ is such that $\alpha_1=\alpha_2=\alpha_3$, then $\alpha_1$ correspond to group homomorphisms etc.
Action-like structures $R\subseteq (A\times X)\times X$. Here morphisms are functions $(A\times X)\times X\overset{\alpha}{\longrightarrow}(A\times X^\prime)\times X^\prime$ such that $((a,x),y)\in R \Rightarrow \alpha((a,x),y)\in R^\prime$. It exists functions $\alpha_0,\alpha_1,\alpha_2$ such that $\alpha((a,x),y)=((\alpha_0(a),\alpha_1(x)),\alpha_2(y))$. If $\alpha_0=1_A$ and $\alpha_1=\alpha_2$ this correspond to morphisms of actions.
Metric-like structures $R\subseteq (X\times X)\times B$. $((x,y),b)\in R \Rightarrow \alpha((x,y),b)\in R^\prime$.
Topological spaces. The spotted set is simply defined as $\tau\subseteq \mathcal{P}(X)$. Morphisms are functions $\mathcal{P}(X)\overset{\alpha}{\longrightarrow}\mathcal{P}(X^\prime)$ such that $\mathcal{O}\in\tau \Rightarrow \alpha(\mathcal{O})\in \tau^\prime$. If there is a function $f:X^\prime\longrightarrow X$ such that $\alpha = \mathcal{Q}(f)$, where $\mathcal{Q}$ is the contra-variant power set functor, this correspond to Top and $f$ is continuous with respect to the topologies.
Uniform spaces with a set of entourages $\phi\subseteq\mathcal{P}(X\times X)$. Morphisms are functions $\mathcal{P}(X\times X)\overset{\alpha}{\longrightarrow}\mathcal{P}(X^\prime\times X^\prime)$ such that $\mathcal{U}\in\phi \Rightarrow \alpha(\mathcal{U})\in \phi^\prime$. The condition on the $sSet$-morphism to correspond to a uniformly continuous function is similar as above.
Undirected graphs. $E\subseteq\mathcal{P}(X)$, $e\in E\Rightarrow \alpha(e)\in E^\prime$, where $\alpha$ is a function $\mathcal{P}(X)\rightarrow\mathcal{P}(X^\prime)$.
Multigraphs. Function $\varepsilon \subset E\times V^2$.
Matroids. $\mathcal{I}\subseteq \mathcal{P}(X)$. If there is a function $f:X^\prime\rightarrow X$ such that $\alpha=\mathcal{Q}(f)$ and $X=X^\prime$, then $\alpha$ correspond to maps of matroids with weak relation.
There are also other patterns.