Definition 46.3.1. Let $A$ be a ring. A module-valued functor is a functor $F : \textit{Alg}_ A \to \textit{Ab}$ such that

1. for every object $B$ of $\textit{Alg}_ A$ the group $F(B)$ is endowed with the structure of a $B$-module, and

2. for any morphism $B \to B'$ of $\textit{Alg}_ A$ the map $F(B) \to F(B')$ is $B$-linear.

A morphism of module-valued functors is a transformation of functors $\varphi : F \to G$ such that $F(B) \to G(B)$ is $B$-linear for all $B \in \mathop{\mathrm{Ob}}\nolimits (\textit{Alg}_ A)$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).